BookHub

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

Тип обложки: мягкая
Страниц: 680
Вес: 1.005 кг
Годы издания: 2012, 2014
ISBN: 978-5-7913-0082-9, 978-5-9902824-1-4, 978-0-262-16209-8

Цены в магазинах

Вы можете найти эту книгу здесь.

График изменения цены

На графике показано, как менялась цена на книгу "Типы в языках программирования".
Границы области показывают минимальную и максимальную цену в указанный день.

Краткое описание книги

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

Книги с похожим названием

Часто можно найти ту же самую или очень похожую книгу среди книг со схожим названием. Это может быть и та же самая книга, но другого года издания или в дургом переплете.
Показать книги с похожим названием

Еще предложения магазинов

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