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

    25.04.2018: Курс по SMM ( Анастасия Югова, Феликс Зинатуллин)

    25.04.2018: Супер партнёрки 3.0 (Алексей Морусов)

    25.04.2018: [Школа Кайлас] Сангая 6 (Андрей Дуйко)

    25.04.2018: Я люблю себя (Алена Полынь)

    25.04.2018: 2 -я ступень тренинг "Семь колен рода" (Наталия Ладини)

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

    25.04.2018: 2 -я ступень тренинг "Семь колен рода" (Наталия Ладини)

    25.04.2018: Star Passive Lead зарабаток

    24.04.2018: [Тедди] Тедди натюр видео МК

    24.04.2018: [Cut Sew] Мк кружевное боди Linda

    24.04.2018: Курс обучение по созданию серого ютуб канала и заработка на нем от 30к рублей уже в первый месяц

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

    25.04.2018: [Школа Кайлас] Сангая 6 (Андрей Дуйко)

    25.04.2018: Профессиональный e-mail маркетинг 2018 (Виталий Шелест)

    24.04.2018: Вызов: минус 5 килограммов за 21 день (Катя Викс)

    24.04.2018: [Juso Cakes] Торты, рецепт и технология 2

    24.04.2018: Волшебные банки (Мария Табаско)

Запись

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

Тема в разделе "Книги", создана пользователем 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. Нафаня
    4. Aplication
    5. Zander
    6. Zander
    7. Лизок
    Загрузка...
Участники складчины Типы в языках программирования смогут написать отзыв
Наверх