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

недоступно к заказу
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
Артикул
1115178
Издательство
Добросвет
Тип обложки
мягкая обложка
Автор
Штрих код
9785791300829
Год
Страниц
680
Язык
Русский
Размеры
170x240 мм
Вес
998 гр.
Импортер
ООО «Абрис-Бел». 220112, РБ, г. Минск, ул. Cырокомли 7-167
Изготовитель
ООО "КДУ". 109544, РФ, г. Москва, ул. Рогожский вал, д. 6, корп. 2, стр. 1
Отзыв к товару «Типы в языках программирования»
Отзывы
С этим товаром покупают
Меню
Каталог товаров