Добавить в избранное
Форум
Правила сайта "Мир Книг"
Группа в Вконтакте
Подписка на книги
Правообладателям
Найти книгу:
Навигация
Вход на сайт
Регистрация



Реклама




Название: 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? ЕСТЬ РЕШЕНИЕ, ЖМИ СЮДА!





Автор: Semka 16-01-2019, 21:44 | Напечатать |
 
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.





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

    Patterns of Software: Tales from the Software Community 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 Название: Design Patterns in Python Автор: Rahul Verma , Chetan Giridhar Издательство: Autoedici?n Год: 2011 Формат: pdf Страниц: 38 Размер: 0,8 ...

    Ada Style Guide 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++ Название: 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) Название: 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 Название: Compiler Design: Theory, Tools and Examples Автор: Seth D. Bergmann Издательство: Rowan University Год: 2010 Формат: pdf Страниц: 284...

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

    Introduction to Software Development 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 Название: Exploring Programming Language Architecture in Perl Автор: Bill Hails Издательство: Autoedici?n Год: 2010 Формат: pdf Страниц: 368 Размер:...

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

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


 MirKnig.Su  ©2021     При использовании материалов библиотеки обязательна обратная активная ссылка    Политика конфиденциальности