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

    13.12.2017: [Бизнес Молодость] Реальный Инстаграм 2.0 (новый курс)

    13.12.2017: Как читать и понимать архитектуру. Интенсивный курс (Марина Яровая)

    13.12.2017: Как читать и понимать живопись. Интенсивный курс (Наталья Кортунова)

    13.12.2017: Самый реальный способ заработка 2017

    13.12.2017: «Техника чтения» до 50 слов в минуту (Ольга Лысенко)

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

    13.12.2017: [Бизнес Молодость] Реальный Инстаграм 2.0 (новый курс)

    11.12.2017: Обережная и гармонизирующая магия дома и его пространств (Лана Палагнюк-Симаненко)

    10.12.2017: Алмазная спина [GIPERBAREA, Игорь Fresh Ковалёв]

    08.12.2017: Цикл "Стилистика как бизнес" (Анна Шарлай)

    04.12.2017: 2 миллиона в месяц на продаже студий - Андрей Сазонов

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

    02.12.2017: 15 способов удвоить трафик и увеличить активность подписчиков в Инстаграм (Ксения Потапова)

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

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

    23.07.2017: Pоwer Еnglish Clаss (Наташа Купep)

    11.07.2017: Защита и Очистка.

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

Тема в разделе "Книги", создана пользователем Менеджер, 6 май 2013.

Цена:
1245р.
Взнос:
40р.

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

    Тип: Стандартная складчина
    Участников: 0/100
  1. 6 май 2013
    #1
    Менеджер
    Менеджер Организатор Организатор

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

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

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

Участники складчины Основания языков программирования (720 стр.) 2010 смогут написать отзыв