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

    18.12.2017: Долларовый Софт Стрим 2018 - Базовый тариф (Дмитрий Капустин)

    18.12.2017: Практики развития внимания

    18.12.2017: Точный счет на договорной матч

    18.12.2017: Основы тамбурной вышивки (Виктория Бойко)

    18.12.2017: Amazon OA (Максим Тарасов)

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

    18.12.2017: Точный счет на договорной матч

    18.12.2017: Тайны Символических звезд 2ое издание (Юлия Бальсина)

    18.12.2017: Сексалтинг для мужчин и женщин Фокус-Группа

    18.12.2017: Новый советник "Caesar"

    18.12.2017: Курс с 0 до Профи по работе со станком с ЧПУ

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

    18.12.2017: Эволюция понимания денег 2.0 (Алексей Похабов)

    18.12.2017: Марафон по женскому оргазму (Татьяна Славина)

    18.12.2017: Интернет-магазин своими руками (Павел Берестнев)

    18.12.2017: Компенсаторная астрология (Павел Андреев)

    17.12.2017: Базовый курс по съемке и обработке 2017 (Антон Исаев)

Запись

Основания языков программирования (720 стр.) 2010

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

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

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

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

    Основания языков программирования (720 стр.) 2010

    [​IMG]
    Foundations for Programming Languages
    Автор:

    Скрытый текст. Доступен только зарегистрированным пользователям.


    Переводчики:

    Скрытый текст. Доступен только зарегистрированным пользователям.

    ,

    Скрытый текст. Доступен только зарегистрированным пользователям.


    Редактор:

    Скрытый текст. Доступен только зарегистрированным пользователям.


    Язык: Русский
    Издательство:

    Скрытый текст. Доступен только зарегистрированным пользователям.


    ISBN: 978-5-93972-757-0; 2010 г.
    Страниц:720 стр.
    Формат: 70x100/16 (167x236 мм)
    Переплет: Твердый переплет
    Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов.
    Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической логике.

    Книга может использоваться в качестве справочника специалистами, занимающимися языками программирования, проверкой и аттестацией компьютерных программ и программированием, в том числе теми, кто работает с программными модулями или занимается объектно-ориентированным программированием.
     
    Telegram, 5 май 2013
  2. Похожие складчины
    1. Zander
    2. Aplication
    3. Нафаня
    4. Aplication
    5. Zander
    6. Zander
    7. Лизок
    Загрузка...
Участники складчины Основания языков программирования (720 стр.) 2010 смогут написать отзыв
Наверх