книги Компьютеры и Интернет Программирование Разработка программ

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

Код 1542745

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 06.05.2024; планируемая отправка: 07.05.2024

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 09.05.2024; планируемая отправка: 10.05.2024

Аннотация к книге "Типы в языках программирования"

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

 

Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.

Оставить комментарий

Оцените книгу:

Издательство: Добросвет
Дата выхода: январь 2014
ISBN: 978-5-7913-0082-9
Объём: 656 страниц
Масса: 992 г
Размеры(высота, ширина), см: 24 x 17
Обложка: мягкая
Переводное издание: Types and Programming Languages
ISBN оригинала: 0262162091

Книга находится в категориях

Языки распродажа

Вместе с этой книгой покупают