(029)696-52-88 (033)696-52-88 (017)237-45-43 e-mailbestbooksby@gmail.com

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

0 отзывов
60,40бел.руб.(604 000руб.)Цена
Оформить
ISBN 978-5-7913-0082-9
Автор Бенджамин Пирс
Издательство КДУ; Добросвет
Год 2012
Переплет Обл.
Формат
Стр. 680
Серия
Наличие
Сроки выполнения
ID МК0110
Автор: Бенджамин Пирс
ISBN: 978-5-7913-0082-9
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
Дополнительная информация
Импортер -
У этого товара нет ни одного отзыва. Вы можете стать первым.