logo
КДУ

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

Цена: 1980

logo_bookvoed
В наличии
С персональной скидкой цена будет еще ниже
https://ndc.book24.ru/pim/products/images/93/28/018ed895-5b36-7361-b1e0-f52842549328.jpg

Описание

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

Добросвет

Бренд Добросвет представлен в
Буквоед

Продавец ООО "НОВЫЙ КНИЖНЫЙ ЦЕНТР"

  • ИНН: 7710422909
  • ОГРН: 1027700282763

Комментарии на Скидосиках

Комментариев нет