1. Новые складчины: Показать еще

    23.10.2017: Свадебные юбки класса люкс. (Юля Трофимова)

    23.10.2017: Моделирование и пошив женского жакета в стиле Шанель. (Ирина Паукште)

    23.10.2017: БроБот 2017.10.17

    23.10.2017: Психодайвинг 4: "Немощь и могущество" (Алексей Капранов)

    23.10.2017: Предсказание судьбы при помощи игральных кубиков (А.А. Дуйко)(2016)

  2. Нужен организатор: Показать еще

    23.10.2017: "7 Самураев" Книга-мануал по заработку на спорте

    23.10.2017: Microscript MLM (PROFESSIONAL)

    23.10.2017: Октябрьский вебинар Alenka Capital (26.10.17) (Элвис Марламов)

    23.10.2017: Осенняя обработка (Анастасия Околот)

    23.10.2017: Искусство маленьких шагов (Юлия Столярова)

  3. Сбор взносов Показать еще

    23.10.2017: Моделирование и пошив женского жакета в стиле Шанель. (Ирина Паукште)

    23.10.2017: Бесстрашный: как побороть неуверенность и начать легко знакомиться с девушками (Егор Шереметьев)

    23.10.2017: Торговая система Line Alert Pro для БО (Антон Горидулич)

    23.10.2017: Раскрути «Юлу» на 5000 рублей в день (Максим Нестерчук)

    23.10.2017: Сам себе инвестор (Анастасия Тарасова)

Запись

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

Тема в разделе "Электронные книги", создана пользователем Telegram, 9 июл 2013.

Цена:
2494 руб
Взнос:
40 руб
Организатор:
Требуется
Участников:
0/100

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

Записаться
    Тип: Стандартная складчина
  1. Telegram
    Telegram Организатор складчин

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

    Типы в языках программирования
    [​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 мм)
    Переплет Мягкая обложка
    Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.
    Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
     
    Telegram, 9 июл 2013
  2. Похожие складчины
    1. Zander
    2. Aplication
    3. Shrek
    4. Aplication
    5. Zander
    6. Zander
    7. Лизок
    Загрузка...
Участники складчины Типы в языках программирования смогут написать отзыв
Наверх