Лучшие товары в нашем каталоге!
Главная
Каталог
на главную » Каталог » Книги » Нехудожественная литература » Компьютерная литература » Разработка программного обеспечения » Алгоритмы и методы. Искусство программирования

вернуться

Типы в языках программирования. Бенджамин Пирс
Типы в языках программирования. Бенджамин Пирс

Типы в языках программирования. Бенджамин Пирс

1259 руб

Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
Вес1005
Ширина упаковки195
Высота упаковки232
Глубина упаковки30
Оригинальное названиеTypes and Programming Languages
АвторБенджамин Пирс
Тип изданияОтдельное издание
Тип обложкиМягкая обложка
ПереводчикГеоргий Бронников,Алекс Отт
ПроизведениеТипы в языках программирования
© 2010-2016 - ТоварОК.ru интернет-магазин