Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9785791300829

Книга ISBN13 9785791300829 - Типы в языках программирования (Бенджамин Пирс) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Типы в языках программирования
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные...
Авторы: Пирс Бенджамин
Издательство: Добросвет
Год: 2014
Местонахождение: My-shop.ru
ISBN: 978-5-7913-0082-9
Название: Типы в языках программирования
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
Авторы: Бенджамин Пирс
Издательство: Лямбда пресс, Добросвет
Год: 2012
Местонахождение: OZON.ru
ISBN: 978-5-7913-0082-9

Где читать эту книгу?

Российские библиотеки и не только

Название: Типы в языках программирования
Авторы: Пирс, Бенджамин
Издательство: М.: Лямбда пресс: Добросвет
Год: 2012
Местонахождение: Алтайская краевая универсальная научная библиотека им. В. Я. Шишкова
ISBN: 978-5-7913-0082-9


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.