1. Новые складчины (Клуб Складчик) Показать еще

    24.02.2018: Работа диспетчером по аренде спецтехники и грузоперевозкам (2015)

    24.02.2018: [foxford] Алгебра 9 класс, углубленный уровень (Владимир Шарич)

    24.02.2018: Как читать мысли мужчин и женщин! И при этом полностью контролировать партнера (Евгений Спирица)

    24.02.2018: Мастер класс Annie Leibovitz (Энни Лейбовиц)

    24.02.2018: SALES! Продажи для непродавцов (Роберт Эштон)

  2. Гость, если у Вас на каком либо сайте есть аккаунт с повышенным статусом, то и у нас вы можете получить соответствующий статус. Подробнее читайте здесь https://skladchik.biz/threads/83942/
    Скрыть объявление
  3. Нужен организатор (Клуб Складчик) Показать еще

    22.02.2018: Системно-векторная психология - 1 уровень [Повтор]

    22.02.2018: Билл Вильямс: подсчёт волн Эллиотта по системе Profitunity

    22.02.2018: Курс "Говоритика" от Надежды Счастливой( Happy Hope)

    21.02.2018: Осознанность и медитации

    20.02.2018: Я хочу БИТЬ! 2.1 + обновления до 2.2 и 2.3

  4. Сбор взносов (Клуб Складчик) Показать еще

    19.02.2018: Как стать женщиной на миллион (Ирина Ляхова)

    19.02.2018: Получение саженцев винограда своими руками-просто и надежно по старинному методу(Александр Рыкалин)

    18.02.2018: Мама, не уходи! (Людмила Шарова)

    17.02.2018: Грани дозволенного (Ирина Терентьева)

    17.02.2018: Авторская ретушь и тонирование 2018 (Сергей Гаварос)

Открыто

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

Тема в разделе "Книги", создана пользователем Менеджер, 9 июл 2013.

Цена:
2494р.
Взнос:
40р.

Список пока что пуст. Запишитесь первым!

    Тип: Стандартная складчина
    Участников: 0/100
  1. 9 июл 2013
    #1
    Менеджер
    Менеджер Организатор Организатор

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

    Типы в языках программирования
    [​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 мм)
    Переплет Мягкая обложка
    Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.
    Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
     

Участники складчины Типы в языках программирования смогут написать отзыв