Practical Foundations for Programming Languages (2011)

Practical Foundations for Programming Languages (2011) КНИГИ » ПРОГРАММИНГ

Название: Practical Foundations for Programming Languages
Автор: Robert Harper
Издательство: Carnegie Mellon University
Год: 2011
Формат: pdf
Страниц: 590
Размер: 1.4 mb.
Язык: English

Este libro est? elaborado como un borrador sobre los fundamentos de la programaci?n.

El cuerpo central de este trabajo se basa en que las caracter?sticas de los lenguajes de programaci?n pueden ser vistas como manifestaciones de una estructura de subyacente que rige su sintaxis y sem?ntica.
El ?nfasis, por lo tanto, es en el concepto de tipo (type), que codifica y organiza el universo computacional de la misma manera que el concepto de conjunto (set) puede ser visto como un principio de organizaci?n para el universo matem?tico.

El prop?sito de este libro es explicar ese patr?n.

turbobit.net nitroflare.com

ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!

Автор: Semka 16-01-2019, 21:44 | Напечатать |

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.

С этой публикацией часто скачивают:

Patterns of Software: Tales from the Software Community Название: Patterns of Software: Tales from the Software Community Автор: Richard P. Gabriel Издательство: Oxford University Press Год: 1996 Формат:...

Design Patterns in Python Название: Design Patterns in Python Автор: Rahul Verma , Chetan Giridhar Издательство: Autoedici?n Год: 2011 Формат: pdf Страниц: 38 Размер: 0,8 ...

Ada Style Guide Название: Ada Style Guide Автор: Various Издательство: Wikibooks Год: 2013 Формат: pdf Страниц: 337 Размер: 1,5 mb. Язык: English Esta Gu?a de...

Industrial Strength C++ Название: Industrial Strength C++ Автор: Mats Henricson , Erik Nyquist Издательство: Prentice Hall Год: 1997 Формат: pdf Страниц: 244 Размер: 0,7 ...

Fundamentos de Programaci?n con el Lenguaje de Programaci?n C++ (Ed. 2013) Название: Fundamentos de Programaci?n con el Lenguaje de Programaci?n C++ (Ed. 2013) Автор: Vicente Benjumea , Manuel Rold?n Издательство:...

Compiler Design: Theory, Tools and Examples Название: Compiler Design: Theory, Tools and Examples Автор: Seth D. Bergmann Издательство: Rowan University Год: 2010 Формат: pdf Страниц: 284...

Matters Computational Название: Matters Computational Автор: Jorg Arndt Издательство: Springer Год: 2011 Формат: pdf Страниц: 978 Размер: 3,2 mb. Язык: English Este...

Introduction to Software Development Название: Introduction to Software Development Автор: Various Издательство: UOC Год: 2010 Формат: pdf Страниц: 379 Размер: 20,9 mb. Язык:...

Exploring Programming Language Architecture in Perl Название: Exploring Programming Language Architecture in Perl Автор: Bill Hails Издательство: Autoedici?n Год: 2010 Формат: pdf Страниц: 368 Размер:...

Impatient Perl Название: Impatient Perl Автор: Greg London Издательство: Autoedici?n Год: 2013 Формат: pdf Страниц: 157 Размер: 0.4 mb. Язык: English Perl es un...

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.