Вид документа : Однотомное издание Шифр издания : З 973.2/П337 Автор(ы) : Пирс, Бенджамин Заглавие : Типы в языках программирования : пер. с англ. Выходные данные : Москва: Лямбда пресс; Москва: Добросвет, 2012 Колич.характеристики :655 с. ; 24 см. Перевод издания: Pierce B. C. Types and programming languages Примечания : Предм. указ.: с. 643-655Библиогр.: с. 599-641 ISBN, Цена 978-5-7913-0082-9: 330 р. ISBN, Цена 978-5-9902824-1-4: Б.ц. ГРНТИ : 50.05 УДК : 004.438 ББК : З 973.2-018.12 Предметные рубрики: языки программирования-- ЭВМ-- теория Ключевые слова (''Своб.индексиров.''): программирования языки Экземпляры :02(1) Свободны : 02(1) Доп.точки доступа: Бронников, Георгий \пер.\; Отт, Алекс; Pierce, B. C.