Типы в языках программирования Добросвет 978-5-7913-0082-9
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные...
Издательство: Добросвет
ISBN: 978-5-7913-0082-9
Объем: 656
Формат: мягкая обложка
Год: 2014
Электронная: Нет
подробнее...
ISBN: 978-5-7913-0082-9
Объем: 656
Формат: мягкая обложка
Год: 2014
Электронная: Нет
подробнее...
Комментарии, отзывы о "Типы в языках программирования":
Добавить первый отзыв ...
Посетители интересовались: