Книга: Пирс Бенджамин «Типы в языках программирования»
|
Серия: "-" Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированноелямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примерови задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики. Издательство: "Добросвет" (2014)
ISBN: 978-5-7913-0082-9 Купить за 1818 руб в My-shop |
Пирс Бенджамин
Источник: Пирс Бенджамин
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| Пирс Бенджамин | Типы в языках программирования | Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в… — Добросвет, - Подробнее... | 2014 | 1818 | бумажная книга |
| Пирс Б. | Типы в языках программирования | Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в… — (формат: Мягкая бумажная, 656 стр.) Подробнее... | 2012 | 1271 | бумажная книга |
| Бенджамин Пирс. | Типы в языках программирования. | 655 стр. Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов… — Добросвет, (формат: 70x100/16, 680 стр.) Подробнее... | 2012 | 2352 | бумажная книга |
| В. Ш. Кауфман | Языки программирования. Концепции и принципы _ Серия: Классика программирования | 464 стр. Рассмотрены фундаментальные концепции и принципы, воплощенные в современных и перспективных языках… — ДМК, (формат: 70x100/16, 464 стр.) Классика программирования Подробнее... | 2011 | 908 | бумажная книга |
| В. Ш. Кауфман | Языки программирования. Концепции и принципы | Рассмотрены фундаментальные концепции и принципы, воплощенные в современных и перспективных языках… — ДМК Пресс, Классика программирования электронная книга Подробнее... | 2010 | 239 | электронная книга |
| Голицына О.Л. | Программирование на языках высокого уровня: Учебное пособие | Рассмотрены основные принципы программирования на языках высокого уровня: основные управляющие структуры… — Форум, Профессиональное образование Подробнее... | 2018 | 1626 | бумажная книга |
| Голицына О., Попов И. | Программирование на языках высокого уровня Учебное пособие | Рассмотрены основные принципы программирования на языках высокого уровня: основные управляющие структуры… — (формат: Твердая глянцевая, 496 стр.) Подробнее... | 2017 | 1073 | бумажная книга |
| О. Л. Голицына, И. И. Попов | Программирование на языках высокого уровня: Учебное пособие | Рассмотрены основные принципы программирования на языках высокого уровня: основные управляющие структуры… — Форум, (формат: 60x90/16, 496 стр.) Лазерная техника и технология Подробнее... | 2012 | 2039 | бумажная книга |
| Голицына О. | Программирование на языках высокого уровня | Рассмотрены основные принципы программирования на языках высокого уровня: основные управляющие структуры… — (формат: Твердая глянцевая, 496 стр.) Подробнее... | 2008 | 242 | бумажная книга |
| Грей Энтони | Swift. Язык программирования для IOS и MAC О S X. Карманный справочник | Этот обновленный по версии Swift 2. 1 краткий справочник карманного типа позволяет быстро найти ответы на… — Вильямс, (формат: 130х200 мм, 288 стр.) Подробнее... | 2016 | 608 | бумажная книга |
См. также в других словарях:
Типы данных — В этой статье перечисляются типы данных, о самом понятии см тип данных В различных операционных системах, языках программирования, спецификациях форматов данных фигурируют различные символические обозначения для типов данных. Часть из них… … Википедия
Сравнение языков программирования — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Условные обозначения … Википедия
Языки программирования — Язык программирования формальная знаковая система, предназначенная для записи программ. Программа обычно представляет собой некоторый алгоритм в форме, понятной для исполнителя (например, компьютера). Язык программирования определяет набор… … Википедия
Форт (язык программирования) — У этого термина существуют и другие значения, см. Форт (значения). Forth Семантика: императивный Тип исполнения: интерпретатор/компилятор Появился в: 1971 Автор(ы): Чарльз Х. Мур Основные реализации … Википедия
Forth (язык программирования) — Forth Семантика: императивный Тип исполнения: интерпретатор/компилятор Появился в: 1971 г. Автор(ы): Чарльз Х. Мур Основные реализации: gForth, pForth, kForth, SP Forth, win32forth … Википедия
Рубин (язык программирования) — Ruby Семантика: мультипарадигмальный Тип исполнения: интерпретатор Появился в: 1995 г. Автор(ы): Юкихиро Мацумото Последняя версия: 1.9.1 … Википедия
