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


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


ОПИСАНИЕ

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

Нимейер П., Леук Д.
1 551,00 o
Полубенцева М.И.
799,00 o
Прохоренок Н.А.
1 020,00 o
Чамберс Дж., Пэкетт
1 383,00 o






«Типы в языках программирования.» из раздела «Языки и среды программирования.» — издание, которое часто покупают как для домашней коллекции, так и в подарок. Всё благодаря высокому качеству полиграфии и яркой визуализации, которые являются визитной карточкой издательства «М.:ЛЯМБДА ПРЕСС». Пирс Б. — интересный автор, уделяющий особое внимание общей концепции и проработке содержания. Поэтому книга стоит своих денег. Доставка осуществляется курьером по Санкт-Петербургу и «Почтой России» при заказе из других городов. Возможен самовывоз.

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

ВНИМАНИЕ!



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