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

    24.05.2018: 800 рублей в час за отзывы, с помощью эксклюзивного шаблона автоматизации!Эдуард Князев

    24.05.2018: Галстук Боло Жук. 2в1

    24.05.2018: Бизнес Старт как зарабатывать на пошиве (Нэля Мазгарова, Николай Фурсов )

    24.05.2018: Сложное моделирование (Анжелика Поздеева (Ангел А))

    24.05.2018: Курс «Жемчужина» (Валентина Букеева)

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

    24.05.2018: Галстук Боло Жук. 2в1

    24.05.2018: [Кондитерка]Онлайн-курс шоколадного декора, дизайна и сборки тортов (Рони Беловой, Андрей Дубовик)

    24.05.2018: [Juso Cakes] Многоярусный торт и свадебные тренды 2018

    24.05.2018: Годовая онлайн школа (Мария Селянина)

    24.05.2018: Полезные сладости (Ирина Огурченок)

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

    24.05.2018: Фотореализм в акварели (Ангас Макьюэн)

    24.05.2018: Колдовство (чернокнижье)

    24.05.2018: Объемная брошь анютины глазки (Евгения Васильевна)

    24.05.2018: Мастер класс Объемная вышивка "Карета" (Валентина Тельпиз)

    24.05.2018: Выкройка + подробный МК "Большой медведь" Беспаловой

Запись

Основания языков программирования (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 смогут написать отзыв
Наверх