| Найдено документов - 1 | Найти похожие: "Заглавие" = 'Типы в языках программирования' | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 32.973.2 - П 337
Пирс, Б.
Типы в языках программирования / Б. Пирс ; перевод с английского Г. Бронникова, А. Отта. — Москва : Добросвет : Лямбда пресс, 2012. — 656 с. : ил. — Прил.: с. 519. - Лит.: с. 599. - Предм. указ.: с. 643. — ISBN 978-5-7913-0082-9. — Текст : непосредственный.
Типы в языках программирования / Б. Пирс ; перевод с английского Г. Бронникова, А. Отта. — Москва : Добросвет : Лямбда пресс, 2012. — 656 с. : ил. — Прил.: с. 519. - Лит.: с. 599. - Предм. указ.: с. 643. — ISBN 978-5-7913-0082-9. — Текст : непосредственный.
Экземпляры: Всего: 2, из них: аб.-2 в наличии 2
Подробнее
Авторы: Пирс Б.
Отраслевые рубрики: вычислительная техника, программирование, языки программирования
Ключевые слова: ML, арифметические выражения, бестиповые системы, императивные объекты, исключения, лямбда-исчисление, нормализация, объектно-ориентированное программирование, ограниченная квантификация, подтипы, полиморфизм, рекурсивные типы, семантические стили, типизация, типизированные арифметические выражения, типы, универсальные типы, функциональные объекты, экзистенциальные типы
Индексы ББК: 32.973.2
Представления: Формат MARC21