Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Ка
Ваш регион: Россия, Москва
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Ка
Технические характеристики
АвторПирс Бенджамин
ИздательствоКДУ, Добросвет
Год выпуска2014
Тип обложкиМягкая обложка
Автор на обложкеПирс Бенджамин
ISBN9785791300829
Тип книгиПечатная книга
Язык изданияРусский
Количество страниц680
Формат издания70x100/16
Тип изданияОтдельное издание
Оригинальное названиеTypes and Programming Languages
Предмет обученияИнформатика
Целевая аудитория учебной литературыУчащимся
Вес с упаковкой, г1035