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

    22.10.2017: "Закажи себе мечту или метод управления реальностью" Часть 2 (Дмитрий Новиков)

    22.10.2017: Криптомир - 2-х дневный Workshop (Андрей Бер)

    22.10.2017: Контрактные запчасти 4.0

    22.10.2017: Идеальное первое свидание (Денис Шальнов)(2014)

    22.10.2017: База Банков - ОТП Банка, Альфа-Банка, Домашние деньги, ХоумКредит (2015)

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

    22.10.2017: ИНП. Жизненные сценарии (Антон Ковалевский)

    22.10.2017: 9,5 способов заработка в интернете

    22.10.2017: Автоматический робот бинарных опционов

    22.10.2017: Мультиэкспрессы (smartgambling)

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

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

    22.10.2017: АКП 2.0 Автоматизированный механизм Массовых Соцрассылок "Стандарт" (Дмитрий Чернышов)

    22.10.2017: Готовые ответы на тесты по Яндекс Директ (new-certificate.ru)

    22.10.2017: Старинный портрет: превращение фото в картину (Olga Cornacchia)

    22.10.2017: Основы здоровья, иммунитета и долголетия. Часть 2. Омега-3 (Рыбий жир) (Леонид Ворслов)

    21.10.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. Shrek
    4. Aplication
    5. Zander
    6. Zander
    7. Лизок
    Загрузка...
Участники складчины Основания языков программирования (720 стр.) 2010 смогут написать отзыв
Наверх