myshop.rulabirint.ruchitai-gorod.ru  
Изображение книги Типы в языках программирования. Пирс Бенджамин

myshop.ru
1881.00 ₽
chitai-gorod.ru
1271.00 ₽

Пирс Бенджамин

Типы в языках программирования

Издательство: Добросвет (2014)

ISBN: 9785791300829

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

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