Типы в языках программирования

Типы в языках программирования КНИГИ » ПРОГРАММИНГ

Название: Типы в языках программирования
Автор: Бенджамин Пирс
Издательство: Лямбда пресс
Год: 2010
Страниц: 655
Формат: PDF
Размер: 10 Mb
Язык: Русский

Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем – нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.

Turbobit

ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!

Автор: bhaer 10-08-2016, 13:25 | Напечатать |

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.

С этой публикацией часто скачивают:

Задачник. На все типы задач 1-4 класса Название: Задачник. На все типы задач 1-4 класса Автор: Р. Кирилина, С. Кирилин Издательство: Издательские решения Год: 2018 Страниц: 110, 53 ил....

Программирование на языках высокого уровня Название: Программирование на языках высокого уровня Автор: Голицына О.Л., Попов И.И. Издательство: Форум Серия: Профессиональное образование...

Функциональное программирование на F# (2017) Название: Функциональное программирование на F# Автор: Сошников Д.В. Издательство: Саратов: Профобразование Год: 2017 Страниц: 191 ISBN:...

Адаптация AutoCAD под стандарты предприятия Название: Адаптация AutoCAD под стандарты предприятия Автор: Габидулин В.Н. Издательство: ДМК Пресс Год: 2012 Страниц: 210 Формат: pdf Размер: 10 mb...

Элементы современного программирования Название: Элементы современного программирования Автор: Дмитриева М.В., Кубенский А.А. Издательство: СПб.: Изд-во С.-Петерб. ун-та Год: 1991 Страниц:...

C++Builder 6. Справочное пособие. Книга 1. Язык C++ Название: C++Builder 6. Справочное пособие. Книга 1. Язык C++ Автор: Архангельский А. Я. Издательство: М.: Бином-Пресс Год: 2002 ISBN: 5-9518-0007-2...

Взаимодействующие последовательные процессы Название: Взаимодействующие последовательные процессы Автор: Хоар Ч. Издательство: М.: Мир Год: 1989 Формат: pdf Страниц: 266 Размер: 11,8 Mb Язык:...

Введение в теорию программирования. Функциональный подход (2-е изд.) Название: Введение в теорию программирования. Функциональный подход (2-е изд.) Автор: Зыков С.В. Издательство: М.: НОУ "Интуит" Год: 2016 Страниц:...

Основы программирования на Delphi Название: Основы программирования на Delphi Автор: Емельянов В.И. Издательство: Высшая школа Год: 2005 Страниц: 227 ISBN: 5-06-004869-1 Формат: PDF...

Наноэлектроника. Теория и практика (2013) Название: Наноэлектроника. Теория и практика (2013) Автор: Борисенко В.Е. и др. Издательство: БИНОМ. Лаборатория знаний Год: 2013 Формат: PDF...

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.