Название: Типы в языках программирования
Автор: Бенджамин Пирс
Издательство: Лямбда пресс, Добросвет
Год: 2010
Страниц: 656
Язык: русский
Формат: pdf
Размер: 5.4 Мб
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.
Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
Скачать с Turbobit.net
Скачать с Bezsms.org
Скачать с Dfiles.ru
Скачать с File-space.org Программа для чтения файлов в формате pdf - Foxit Reader
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12752 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Название: Легкий способ начать новую жизнь. Как избавиться от стресса, внутренних конфликтов и вредных привычек Автор: Фьоре Нейл Издательство: Манн, Иванов и Фербер ISBN: 978-5-91657-944-4 Год изда . . .
Название: ДомЪ №13 (декабрь 2014) Автор: РЕ Мажор Год издания: 2014 Страниц: 84 Язык: Русский Формат: PDF Качество: отличное Размер: 51,8 МбОписание: Журнал «ДомЪ» - для тех, кто строит дом и создает . . .
Название: Мир связи Автор: Коллектив авторов Выпуск: №10 (Октябрь) Год издания: 2008 Страниц: 41 Формат: PDF Качество: норм. Размер файла: 28 Мб Язык: Русский Мир связи - новости, обзоры и статьи о . . .
Название: Оружие Автор: Коллектив авторов Выпуск: №9 (Сентябрь) Год издания: 2008 Страниц: 64 Формат: PDF Качество: норм. Размер файла: 13 Мб Язык: Русский Оружие - новости, статьи и обзоры на оруж . . .
Предисловие Как пройти к «Электронике»? Этот вопрос озадачил меня много лет назад, когда я наконец собрался посмотреть недавно открывшийся в Москве новый магазин. Я шел по Ленинскому проспекту от стар . . .
Название: Марио 2011-2014 Автор: Коллектив Издательство: Каверин Год издания: 2011-14 Страниц: 400 Язык: Русский Формат: PDF Качество: отличное Размер: 184 Мб Описание: Самое главное преимущество «М . . .
В популярной, занимательной форме освещены вопросы любительского высококачественного звуковоспроизведения. Книга поможет радиолюбителям выбрать правильно параметры и характеристики электрофонов, магни . . .
Формат 3D с появлением фильма "Аватар" основательно поселился в нашей жизни, желание многих иметь у себя дома, а возможность самостоятельно сделать 3d очки и настроить свой комп просто мечта, темболее . . .
Название: ProРез Автор: Коллектив авторов Выпуск: №5 Год издания: 2008 Страниц: 62 Формат: PDF Качество: норм. Размер файла: 30 Мб Язык: Русский ProРез - журнал о холодном оружии. В номере: МЕЖДУНА . . .
Название: Микросхемы для современных импортных телевизоров - 2 Автор: А.А. Коннов, А.Е. Пескин Издательство: М. ДОДЭКА Год: 1998 Страниц: 284 ISBN: 5-87835-018-1 Формат: DJVU Размер: 16.5 Mб Каче . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Типы в языках программирования. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.