Типы в языках программирования: пер. с англ.

Типы в языках программирования: пер. с англ.

书目详细资料
主要作者:	Пирс Б. Бенджамин
总结:	Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем — нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
语言:	俄语
出版:	Москва, Лямбда пресс, 2012
主题:	Языки программирования математический аппарат бестиповые системы арифметические выражения лямбда-исчисление типизированные системы простые расширения подтипы рекурсивные типы полиморфизм системы высших порядков
格式:	图书
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=212025

相似书籍

Данные в языках программирования. Абстракция и типология: [сборник статей]; пер. с англ.; Типы и абстракция данных в языках программирования
出版: (Москва, Мир, 1982)

Язык программирования учебное пособие
由: Потапов И. И.
出版: (Хабаровск, ДВГУПС, 2019)

Изучаем Java: пер. с англ.
由: Сьерра К. Кэти
出版: (Москва, Эксмо, 2016)

Python 3. Самое необходимое
由: Прохоренок Н. А. Николай Анатольевич
出版: (Санкт-Петербург, БХВ-Петербург, 2016)

Язык программирования Бейсик для микроЭВМ
由: Корчак А. Е.
出版: (Москва, Изд во МНИИПУ, 1988)

Программируем на Python: [пособие для начинающих]; пер. с англ.
由: Доусон М. Майкл
出版: (Санкт-Петербург, Питер, 2015)

Основы программирования на языках C и C ++: Учебный курс
由: Ашарина И. В. Ирина Владимировна
出版: (Москва, Горячая линия-Телеком, 2002)

Проблемно-ориентированный язык программирования ТЕСТ: [монография]
出版: (Кишинев, Штиинца, 1978)

Язык программирования Java: пер. с англ.
由: Арнольд К. Кен
出版: (Санкт-Петербург, Питер, 1997)

Язык программирования Поляр: описание, использование, реализация
由: Марчук А. Г. Александр Гурьевич
出版: (Новосибирск, Изд-во ВЦ СО АН СССР, 1986)

Языки программирования: учебное пособие
由: Голицына О. Л. Ольга Леонидовна
出版: (Москва, Форум, 2008)

От фортрана - к PL/1. Основы языка PL/1
由: Безбородов Ю. М. Юрий Михайлович
出版: (Москва, Наука, 1984)

Язык программирования Ruby: пер. с англ.
由: Флэнаган Д. Дэвид
出版: (СПб., Питер, 2011)

Сравнительный курс языка PL/I (на основе алгола-60)
由: Безбородов Ю. М. Юрий Михайлович
出版: (Москва, Наука, 1980)

Язык программирования Си: справочник; пер. с англ.
由: Болски М. И.
出版: (Москва, Радио и связь, 1988)

Технология программирования на C++. Начальный курс: учебное пособие
由: Литвиненко Н. А. Николай Аркадьевич
出版: (СПб., БХВ-Петербург, 2005)

Программирование на языке Си: учебное пособие для вузов
由: Подбельский В. В. Вадим Валериевич
出版: (Москва, Финансы и статистика, 2009)

Язык программирования Turbo C++: учебное пособие
由: Намиот Д. Е. Дмитрий Евгеньевич
出版: (Москва, Изд-во Московского ун-та, 1991)

Языки программирования: учебник
由: Баженова И. Ю. Ирина Юрьевна
出版: (Москва, Академия, 2012)

Язык Ассемблера для IBM PC и программирования: пер. с англ.
由: Абель П. Питер
出版: (Москва, Высшая школа, 1992)

C#: сборник рецептов
由: Агуров П. В. Павел Владимирович
出版: (Санкт-Петербург, БХВ-Петербург, 2007)

Язык программирования Perl 5: учебное пособие
由: Шохирев М. В. Михаил Васильевич
出版: (Москва, БИНОМ. Лаборатория знаний, 2013)

Предметно-ориентированные языки программирования: пер. с англ.
由: Фаулер М. Мартин
出版: (Москва, Вильямс, 2011)

Как устроен PYTHON. Гид для разработчиков, программистов и интересующихся: пер. с англ.
由: Харрисон М. Мэтт
出版: (Санкт-Петербург, Питер, 2019)

Теория и практика языков программирования: учебник
由: Орлов С. А. Сергей Александрович
出版: (Санкт-Петербург, Питер, 2013)

Python Scripting for Computational Science
由: Langtangen H. P. Nans Petter
出版: (Berlin, Springer, 2008)

Java 2: наиболее полное руководство: пер. с англ.
由: Ноутон П. Патрик
出版: (СПб., БХВ-Петербург, 2008)

Java. Новое поколение разработки. Техники Java 7 и многоязычное программирование: пер. с англ.
由: Эванс Б. Бенджамин
出版: (Санкт-Петербург, Питер, 2014)

Программное обеспечение языка ГИМАП: материалы по программному обеспечению ЭВМ
出版: (Минск, Изд-во Ин-та технической кибернетики, 1988)

Связь разноязыковых модулей в ОС ЕС
由: Лаврищева Е. М. Екатерина Михайловна
出版: (Москва, Финансы и статистика, 1982)

Основы программирования на С#: учебное пособие
由: Биллиг В. А. Владимир Арнольдович
出版: (Москва, Интернет-Университет Информационных Технологий, 2009)

Определение языков программирования интерпретирующими автоматами: пер. с англ.
由: Оллонгрен А.
出版: (Москва, Мир, 1977)

Т. 2: Компиляция; Теория синтаксического анализа, перевода и компиляции
出版: (1978)

Python для чайников: пер. с англ.
由: Мюллер Дж. П. Джон Пол
出版: (Москва, Диалектика, 2019)

C/C++. Процедурное программирование
由: Полубенцева М. И. Марина Игоревна
出版: (СПб., БХВ-Петербург, 2008)

Сила Objective-C 2.0. Эффективное программирование для iOS и OS X: пер. с англ.
由: Гэлловей М. Мэтт
出版: (Санкт-Петербург, Питер, 2014)

Java. Руководство для программиста: 75 рекомендаций по написанию надежных и защищенных программ: пер. с англ.
出版: (Москва, Вильямс, 2014)

Java: руководство для начинающих
由: Шилдт Г. Герберт
出版: (Москва, Вильямс, 2014)

Python: создание приложений: пер. с англ.
由: Чан У. Дж. Уэсли Дж.
出版: (Москва, Вильямс, 2015)

Язык сверхвысокого уровня СЕТЛ и его реализация (для ЭВМ БЭСМ-6)
由: Левин Д. Я. Давид Яковлевич
出版: (Новосибирск, Наука, 1983)