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

    23.11.2017: Границы. Воспитание ребенка. Планшет и игровая зависимость (Валентина Паевская)

    22.11.2017: ФРАНШИЗА МАРКЕТИНГОВОГО АГЕНТСТВА Marketing Time - LandingPage.bz

    22.11.2017: Заряжен на 100 %. Энергия. Здоровье. Спорт (Ренат Шагабутдинов, Эдуард Безуглов)

    22.11.2017: Как довести девушку до оргазма. Секс-тренинг.Как удовлетворить женщину в постели?(Вероника Ларссон)

    22.11.2017: Работа под давлением (Дэйв Алред)

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

    22.11.2017: ФРАНШИЗА МАРКЕТИНГОВОГО АГЕНТСТВА Marketing Time - LandingPage.bz

    21.11.2017: Цикл вебинаров "Психология стиля"

    18.11.2017: Выращивание рыболовной наживки - бизнес в домашних условиях.

    16.11.2017: Техники гипноза

    15.11.2017: 19 книг Виктора Пелевина + новинка Бентли Литтла

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

    21.11.2017: [mintpro.ru] Как найти клиентов в отпуске? (Lena Mint)

    11.11.2017: Бизнес Коучинг (Андрей Парабеллум)

    07.11.2017: Курс по работе и заработку с Telegram

    04.11.2017: Боги И Мантры. Пакет Light (Юлия Воронина)

    13.08.2017: Оптовик 3.0 Как продавать оптом и в розницу много и долго! (Ярослав Лепёшкин и Антон Новиков)

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

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

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