Купить бумажную книгу и читать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "МИФ".
Using the button above you can buy paper versions of this book and similar books on the website of the "MIF" online store.
Реклама. ООО «МИФ», ИНН: 7703809969, erid: LatgBY5SL.
Название: Типы в языках программирования
Автор: Бенджамин Пирс
Издательство: Лямбда пресс, Добросвет
Год: 2010
Страниц: 656
Язык: русский
Формат: pdf
Размер: 5.4 Мб
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.
Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
Купить бумажную книгу или электронную версию книги и скачать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "МИФ".
Using the button above you can buy paper versions of this book and similar books on the website of the "MIF" online store.
Реклама. ООО «МИФ», ИНН: 7703809969, erid: LatgBY5SL.
Дата создания страницы: