Главная > Общие вопросы > Книга «Типы в языках программирования»
О чем не говорят конспирологи

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

Типы в языках программирования
Издательство: Добросвет, 2012
Страниц: 656 страниц

ID книги: 0102426
Загрузил: trundle,

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

Формат Размер Дата загрузки Загрузил Скачиваний *
Скачать Показать QR-код fb2-файла fb2 4 192 КБ 26 марта 2016 trundle 7860
Скачать Показать QR-код epub-файла epub 2 224 КБ 26 марта 2016 trundle 1695
* статистика скачиваний с 26 марта 2016
Чтобы иметь возможность оставлять комментарии
вам необходимо войти под своим именем или зарегистрироваться.

Для правильной работы fb2Мира используйте только последние версии браузеров: Chrome, Opera или Firefox.
В других браузерах работа fb2Мира не гарантируется!
Ваша дата определена как 15 ноября 2024
Рейтинг@Mail.ru
© 2008–2024 fb2Мир