Санкт-Петербургский Дом Книги
ИНТЕРНЕТ-МАГАЗИН:
(800) 555-08-42
СПРАВОЧНАЯ СЛУЖБА ДОМА КНИГИ
НЕВСКИЙ, 28:
(812) 448-23-55
Купить книгу Типы в языках программирования.
  • Типы в языках программирования.


  • Автор: Пирс Б. ISBN: 978-5-7913-0082-9
    Перевод: с англ. Издательство: М.:ЛЯМБДА ПРЕСС
    Год издания: 2012 Вес: 980 гр.
Отсутствует в продаже


ОПИСАНИЕ

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

Чамберс Дж., Пэкетт
1 647,00o
Бэзинс Б., Бэкил
1 692,00o






Интернет-магазин Дома Книги рад представить Вашему вниманию книгу "Типы в языках программирования." из раздела "Языки и среды программирования.". Перед покупкой книги Вы можете ознакомиться с информацией о ней и номером ISBN 978-5-7913-0082-9. Доставка книги осуществляется почтой РФ, самовывозом, а также курьером по Санкт-Петербургу.

Ваша корзина пуста. Для оформления заказа Вам необходимо добавить товары в корзину с помощью соответствующей кнопки.

ВНИМАНИЕ!



МЫ В СОЦИАЛЬНЫХ СЕТЯХ: