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



Популярные книги



Загрузка...

Название: Типы в языках программирования
Автор: Бенджамин Пирс
Издательство: Лямбда пресс
Год: 2010
Страниц: 655
Формат: PDF
Размер: 10 Mb
Язык: Русский

Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем – нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.









Успейте скачать!!!
!!! - помечены книги запрещенных издательств (ТОЛЬКО В КРАТКОЙ НОВОСТИ РЯДОМ С ИЗДАТЕЛЬСТВОМ!), ссылки на которые будут удалены через 3 дня!



Автор: bhaer 10-08-2016, 13:25 | Напечатать |
 
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.




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

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


 MirKnig.Su  ©2017