Скрыть объявление
Более 45000 материалов для скачивания в нашем приватном разделе. Не пропусти, возможно данную складчину уже выкупили и выложили для ознакомления.
Скрыть объявление
Гость отличная новость! Мы открыли доступ к ранее скрытому контенту.

Вам доступно более 44 000 видео уроков, книг и программ без VIP статуса. Более подробно ЗДЕСЬ.

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

Тема в разделе "Книги, аудиокниги", создана пользователем Volchek, 2 июн 2014.

0/5, Голосов: 0

Этап:
Набор участников
Цена:
2494.00 руб.
Участников:
4 из 15
Организатор:
требуется
26%
Расчетный взнос:
183 руб.
  • Участники покупки:
    1. Train, 2. bronis, 3. felina, 4. liska;
  1. Volchek

    Volchek Модератор

    Сообщения:
    14.910
    Симпатии:
    11.282
    Типы в языках программирования[​IMG]
    Types and Programming Languages
    Автор: Бенджамин Пирс
    Переводчики: Георгий Бронников, Алекс Отт
    Языки: Русский
    Издательство: Лямбда пресс, Добросвет
    ISBN 978-5-7913-0082-9, 978-5-9902824-1-4, 978-0-262-16209-8; 2012 г.
    Дополнительные характеристики
    Страниц 680 стр.
    Формат 70x100/16 (167x236 мм)
    Переплет Мягкая обложка
    Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.
    Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
     
Оценить эту тему:
/5,
Поделиться: