URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Пирс Б. Типы в языках программирования
Id: 189394
 
1181 руб.

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

2014. 680 с. Мягкая обложка. ISBN 978-5-7913-0082-9.

 Аннотация

Эта книга, уже давно ставшая классической, содержит всестороннее

введение в системы типов, применяемые в информатике. Среди рассмат-

риваемых тем ? нетипизированное лямбда-исчисление, простые системы

типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из

рассматриваемых концепций сопровождается множеством примеров и

задач, что позволяет закрепить теоретический материал.

Книга будет полезна как для практикующих разработчиков, так и для

студентов и аспирантов в области информатики.

 
© URSS 2016.

Информация о Продавце