Скрыть объявление
Гость отличная новость! Мы открыли доступ к ранее скрытому контенту.

Вам доступно более 44 000 видео уроков, книг и программ без VIP статуса. Более подробно ЗДЕСЬ.

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

Тема в разделе "Неактивные складчины (архив)", создана пользователем Volchek, 2 июн 2014.

0/5, Голосов: 0

  1. Volchek

    Volchek Модератор

    Сообщения:
    14.906
    Симпатии:
    16.109
    [​IMG]
    Спойлер: Характеристики
    Foundations for Programming Languages
    Автор: Дж. Митчелл
    Переводчики: П. Айткулов, Д. Котегов
    Редактор: Николай Непейвода
    Язык: Русский
    Издательство: НИЦ "Регулярная и хаотическая динамика"
    ISBN: 978-5-93972-757-0; 2010 г.
    Страниц:720 стр.
    Формат: 70x100/16 (167x236 мм)
    Переплет: Твердый переплет

    Спойлер: Описание издательства
    Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов.
    Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической логике.

    Книга может использоваться в качестве справочника специалистами, занимающимися языками программирования, проверкой и аттестацией компьютерных программ и программированием, в том числе теми, кто работает с программными модулями или занимается объектно-ориентированным программированием.

     
Сохранить в соц. сетях:
Оценить эту тему:
/5,