1. Книги
  2. Нехудожественная литература
  3. Компьютерные технологии
Код товара: 7410082

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

Издательство
Год выпуска
2014
Тип обложки
Мягкая обложка
Автор на обложке
Бенджамин Пирс
Оригинальное название
Types and Programming Languages
Перейти к описанию

О книге

Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные тип
Товар закончился
Продавец:
OZON
  • Безопасная оплата: Банковской картой и ещe несколько способов оплаты
  • Возврат 14 дней, с Ozon Premium — 60 дней.
Гарантия легкого возврата
До 14 дней на возврат, полная гарантия

Описание

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

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

Характеристики

Издательство
Год выпуска
2014
Тип обложки
Мягкая обложка
Автор на обложке
Бенджамин Пирс
Оригинальное название
Types and Programming Languages
Тип издания
Отдельное издание
Тип
Книга
Формат издания
70x100/16
Количество страниц
680
Язык издания
Русский
ISBN
978-5-7913-0082-9, 978-5-9902824-1-4, 978-0-262-16209-8
Вес в упаковке, г
1005
Информация о технических характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и основывается на последних доступных к моменту публикации сведениях

Издательства

  • Добросвет Издательство
  • Лямбда пресс Издательство
Отзывы
Сначала полезные
А
Алексей
Товар куплен на OZON
Достоинства
Книга прекрасная и перевод очень хороший. 
Недостатки
Обложка, увы, мягкая 
Комментарий
С удовольствием поставил на полку с другими "нетленками". 
index
Реклама