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


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

Название: Типы в языках программирования
Автор: Бенджамин Пирс
Издательство: Лямбда пресс, Добросвет
Год: 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)

    ДомЪ №13 (декабрь 2014)

    Название: ДомЪ №13 (декабрь 2014) Автор: РЕ Мажор Год издания: 2014 Страниц: 84 Язык: Русский Формат: PDF Качество: отличное Размер: 51,8 МбОписание: Журнал «ДомЪ» - для тех, кто строит дом и создает . . .

  • Журнал Мир связи №10 (Октябрь) 2008

    Мир связи №10 (Октябрь) 2008

    Название: Мир связи Автор: Коллектив авторов Выпуск: №10 (Октябрь) Год издания: 2008 Страниц: 41 Формат: PDF Качество: норм. Размер файла: 28 Мб Язык: Русский Мир связи - новости, обзоры и статьи о . . .

  • Журнал Оружие №9 (Сентябрь) 2008

    Оружие №9 (Сентябрь) 2008

    Название: Оружие Автор: Коллектив авторов Выпуск: №9 (Сентябрь) Год издания: 2008 Страниц: 64 Формат: PDF Качество: норм. Размер файла: 13 Мб Язык: Русский Оружие - новости, статьи и обзоры на оруж . . .

  • Журнал Как пройти к электронике? скачать книгу бесплатно

    Как пройти к электронике? скачать книгу бесплатно

    Предисловие Как пройти к «Электронике»? Этот вопрос озадачил меня много лет назад, когда я наконец собрался посмотреть недавно открывшийся в Москве новый магазин. Я шел по Ленинскому проспекту от стар . . .

  • Журнал Марио 2011-2014

    Марио 2011-2014

    Название: Марио 2011-2014 Автор: Коллектив Издательство: Каверин Год издания: 2011-14 Страниц: 400 Язык: Русский Формат: PDF Качество: отличное Размер: 184 Мб Описание: Самое главное преимущество «М . . .

  • Журнал Вопросы любительского высококачественного звуковоспроизведения скачать книгу бесплатно

    Вопросы любительского высококачественного звуковоспроизведения скачать книгу бесплатно

    В популярной, занимательной форме освещены вопросы любительского высококачественного звуковоспроизведения. Книга поможет радиолюбителям выбрать правильно параметры и характеристики электрофонов, магни . . .

  • Журнал Сделай 3D очки скачать книгу бесплатно

    Сделай 3D очки скачать книгу бесплатно

    Формат 3D с появлением фильма "Аватар" основательно поселился в нашей жизни, желание многих иметь у себя дома, а возможность самостоятельно сделать 3d очки и настроить свой комп просто мечта, темболее . . .

  • Журнал Proрез №5 2008

    Proрез №5 2008

    Название: ProРез Автор: Коллектив авторов Выпуск: №5 Год издания: 2008 Страниц: 62 Формат: PDF Качество: норм. Размер файла: 30 Мб Язык: Русский ProРез - журнал о холодном оружии. В номере: МЕЖДУНА . . .

  • Книга Микросхемы для современных импортных телевизоров - 2

    Микросхемы для современных импортных телевизоров - 2

    Название: Микросхемы для современных импортных телевизоров - 2 Автор: А.А. Коннов, А.Е. Пескин Издательство: М. ДОДЭКА Год: 1998 Страниц: 284 ISBN: 5-87835-018-1 Формат: DJVU Размер: 16.5 Mб Каче . . .


Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Отзывы читателей


Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Типы в языках программирования. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.