UniversityBooks.ru
 
Поиск:   
 Расширенный поиск | Как искать
Корзина   Выслать пароль   Войти  
Сегодня в продаже книги
Помощь
Главная / Каталог книг / Прикладные науки. Техника / Информатика. Вычислительная техника

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

Типы в языках программирования.
Увеличить обложку

     
Автор: Пирс Б.
Издательство: КДУ; Добросвет
Год издания: 2014
ISBN: 978-5-7913-0082-9
Количество страниц: 680
     
1100 руб.
Количество: 
Добавить в корзину

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

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





Информатика. Вычислительная техника :
смотреть также...




  ©2005-2021 UniversityBooks.ru.
  Создание и поддержка сайта: студия Ocean Lab.