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

    24.03.2017: Советник для ручной торговли бинарными опционами.

    24.03.2017: Стратегия ставок на live вилках

    24.03.2017: Закрытый клуб предпринимателей от реального бизнесмена (Евгений Ходченков)

    24.03.2017: Тестостерон Release (Арсен Маркарян)

    24.03.2017: Эзотерика для чайников (Антон Поддубный)

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

    24.03.2017: Советник для ручной торговли бинарными опционами.

    24.03.2017: Стратегия ставок на live вилках

    24.03.2017: Миофасциальный фитнес (повтор)

    24.03.2017: Таро Т 1 (Закрытая)

    24.03.2017: Tooligram Professional 2.6.0

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

    23.03.2017: Интуитивная Активная Медитация

    22.03.2017: Шанти практика: 60 дней тренировок, которые изменят жизнь навсегда (Сергей Бадюк)

    21.03.2017: Павел Колесов - Практика СамоГипноза 3. Техники Исцеления и Работы с Болью

    21.03.2017: Жесткие продажи. Заставьте людей покупать при любых обстоятельствах (Дэн Кеннеди)

    21.03.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. Telegram
        Запись

        Механика грунтов, основания и фундаменты включая...

        Telegram, 5 июн 2014, в разделе: Электронные книги
      2. Bulion
        Запись

        Лекция «История происхождения языков. Английский язык» (Дмитрий Петров)

        Bulion, 4 мар 2017, в разделе: Электронные книги
      3. Bulion
        Куплено

        Лекция «Психология изучения языков» (Дмитрий Петров)

        Bulion, 24 фев 2017, в разделе: Электронные книги
      4. Bulion
        Запись

        30-дневный метод автоматического обучения языков

        Bulion, 19 фев 2017, в разделе: Иностранные языки
      5. Zander
        Запись

        Ling Fluent. 30-дневный метод автоматического обучения языков

        Zander, 22 янв 2017, в разделе: Иностранные языки
      6. Bulion
        Куплено

        Запись семинара по настройке на усвоение языков (Андрей Ермошин)

        Bulion, 17 окт 2016, в разделе: Курсы по эзотерике
      7. Telegram
        Запись

        Самые лучшие самоучители иностранных языков

        Telegram, 29 сен 2016, в разделе: Электронные книги

Наверх