База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
004.43 П 337
Пирс, Бенджамин.
Типы в языках программирования / Бенджамин Пирс ; пер. с англ. : [Г. Бронников, А. Отт]. - Москва : Лямбда пресс : Добросвет, 2012. - XXIII, 655 с. : ил., табл. - Библиогр. : с. 599-641. . - ISBN 9785990282414. - ISBN 9785791300829
Парал. тит. л. на англ. яз. Приложение : с. 519-598. Предметный указатель : с. 643-655.
Рубрики: языки программирования--учебные издания для вузов
Кл.слова (ненормированные):
типы систем (информационные технологии) -- проектирование языков -- бестиповые системы (информационные технологии) -- подтипы (информационные технологии) -- полиморфизм (информационные технологии) -- рекурсивные типы (информационные технологии) -- высших порядков системы (информационные технологии)
Доп.точки доступа:
Бронников, Георгий \пер.\
Отт, Алекс \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Пирс, Бенджамин.
Типы в языках программирования / Бенджамин Пирс ; пер. с англ. : [Г. Бронников, А. Отт]. - Москва : Лямбда пресс : Добросвет, 2012. - XXIII, 655 с. : ил., табл. - Библиогр. : с. 599-641. . - ISBN 9785990282414. - ISBN 9785791300829
Парал. тит. л. на англ. яз. Приложение : с. 519-598. Предметный указатель : с. 643-655.
УДК |
Рубрики: языки программирования--учебные издания для вузов
Кл.слова (ненормированные):
типы систем (информационные технологии) -- проектирование языков -- бестиповые системы (информационные технологии) -- подтипы (информационные технологии) -- полиморфизм (информационные технологии) -- рекурсивные типы (информационные технологии) -- высших порядков системы (информационные технологии)
Доп.точки доступа:
Бронников, Георгий \пер.\
Отт, Алекс \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Страница 1, Результатов: 1