Типы в языках программирования
Название: Типы в языках программирования
Автор: Бенджамин Пирс
Издательство: Лямбда пресс, Добросвет
Год: 2010
Страниц: 656
Язык: русский
Формат: pdf
Размер: 5.4 Мб
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.
Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
Скачать с Turbobit.net
Скачать с Bezsms.org
Скачать с Dfiles.ru
Скачать с File-space.org
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12757 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Книга Как измерить плотность электролита в аккумуляторе
Название: Как измерить плотность электролита в аккумуляторе Автор: Коллектив Формат: DVDRip Размер: 499,10 Мб Качество: Отличное Язык: Русский Год издания: 2015 Под плотностью аккумулятора понимают пл . . .
-
Книга Изготовление светодиодной лампы своими руками
Название: Изготовление светодиодной лампы своими руками Автор: Коллектив Формат: DVDRip Размер: 315,09 Мб Качество: Отличное Язык: Русский Год издания: 2015 В данном видео предоставлен сюжет где обычн . . .
-
Книга Утечка тока в аккумуляторе
Название: Утечка тока в аккумуляторе Автор: Коллектив Формат: DVDRip Размер: 341,00 Мб Качество: Отличное Язык: Русский Год издания: 2015 Иногда возникает ситуация, когда в автомобиле при свежем и исп . . .
-
Книга Другой путь - Аудио
Название: Другой путь - Аудиокнига Автор: Борис Акунин Время звучания: 14 ч. 26 мин. Формат: MP3 Размер: 714 Мб Качество: Отличное Язык: Русский Жанр: современная проза Год издания: 2015 Борис Акунин . . .
-
Книга Энциклопедия узбекской кухни
Название: Энциклопедия узбекской кухни Автор: Ганиев Х. Страниц: 228 Формат: PDF Размер: 80МБ Качество: Отличное Язык: Русский Жанр: Кулинария Год издания: 2015 В книге "Энциклопедия узбекской кухни" . . .
-
Книга Veganomicon: The Ultimate Vegan Cookbook
Название: Veganomicon: The Ultimate Vegan Cookbook Автор: Isa Chandra Moskowitz, Terry Hope Romero Страниц: 1051 Формат: EPUB Размер: 2,02 мб Качество: Отличное Язык: Английский Год издания: 2007 Whil . . .
-
Книга Дмитрий Рус - 10 книг
Название: Дмитрий Рус - 10 книг Автор: Дмитрий Рус Формат: FB2 Размер: 14,7 MB Качество: Отличное Язык: Русский Год издания: 2015 Родился в 1975 году в Киеве, с 1996 по 2014 жил в основном в Таиланде, . . .
-
Книга Как пользоваться мультиметром. Тестером
Название: Как пользоваться мультиметром. Тестером Автор: Коллектив Формат: DVDRip Размер: 471,92 Мб Качество: Отличное Язык: Русский Год издания: 2015 Если вы задались вопросом «Как пользоваться мульт . . .
-
Книга Теоретические основы электротехники. Электрические цепи
Название: Теоретические основы электротехники. Электрические цепи Автор: Бессонов Л.А. Страниц: 701 Формат: PDF Размер: 62.6 Мб Качество: Нормальное Язык: Русский Год издания: 2016 Двенадцатое исправл . . .
-
Книга Make: Electronics: Learning Through Discovery
Название: Make: Electronics: Learning Through Discovery Автор: Charles Platt Страниц: 352 Формат: PDF Размер: 71.6 Мб Качество: Нормальное Язык: Английский Год издания: 2015 The first edition of Make: . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Типы в языках программирования. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.