1. Новые складчины (Клуб Складчик) Показать еще

    20.02.2018: Публичные выступления (Наталья Козелкова)

    19.02.2018: [IAB] Искусствовед и арт-менеджер 2018

    19.02.2018: [Повтор] Денежный поток из Whatsapp

    19.02.2018: [Аудиокнига] Как работать на идиота? Руководство по выживанию (Джон Гувер)

    19.02.2018: [Аудиокнига] Джедайские техники (Максим Дорофеев)

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

    19.02.2018: [Повтор] Денежный поток из Whatsapp

    19.02.2018: (TheTunes.ru) Мастерская коммерческих треков 2.1 - Пошаговое создание Uplifting Trance трека.

    19.02.2018: Руководство по диагностике и устранению проблем в Oracle

    17.02.2018: Онлайн-курс "Секс - гигант" (Михаил Рысак)

    13.02.2018: [Повтор] Я хочу БИТЬ! 2.1 + обновления до 2.2 и 2.3

  4. Сбор взносов (Клуб Складчик) Показать еще

    15.02.2018: [Нетология] Контент-маркетинг: создание и реализация успешной медиастратегии (Николай Смирнов)

    15.02.2018: Словарные слова за 2 дня (Татьяна Джало)

    15.02.2018: Movie Colors. Кинематографичные экшены для Photoshop (Алексей Кузьмичев)

    15.02.2018: Видео-курс по вязанию крючком ковра «Эскимо» (Анастасия Ворошилова)

    14.02.2018: Инфопродукт №9 — Вода, болезни обезвоживания, Лимфа, Почки (Фролов Юрий)

Открыто

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