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

    28.06.2017: Ux design от ведущих агенств России. (AIC, Tagline, Mokselle)

    28.06.2017: Профессия интернет-маркетолог (skillbox+ingate+tagline)

    28.06.2017: Улучшайзер (Павел Воля)

    28.06.2017: Индикатор Magnificent для БО

    28.06.2017: Фотобизне$$ (Катя Lovaphotos)

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

    28.06.2017: Информация: буржуйский автотрейдинг (не лохотроны!)

    28.06.2017: Онлайн коучинг по бизнесу с Китаем С 100$ К 100.000$ ВЕРСИЯ 19.0 VIP (Дмитрий Ковпак)

    27.06.2017: Хамаха обучение торговле на фондовом рынке. Полный курс.

    27.06.2017: ProfitNonStop(PNS)

    27.06.2017: 100% успех в интернет-бизнесе (Сергей Камардин)

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

    28.06.2017: Обучение по криптовалютам

    27.06.2017: Программа+курс. "Изготовление сайтов на заказ без знания html. Зарабатывайте от 3000 рублей в день!"

    27.06.2017: Делай деньги в SMM (Леонид Малолетов, Михаил Син)

    26.06.2017: Выравниваем тело и лицо (Елена Пятибрат)

    26.06.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, 28 апр 2017, в разделе: Иностранные языки
      3. Bulion
        Куплено
        Bulion, 5 апр 2017, в разделе: Курсы по эзотерике
      4. Bulion
        Запись
        Bulion, 4 мар 2017, в разделе: Электронные книги
      5. Bulion
        Куплено
        Bulion, 24 фев 2017, в разделе: Электронные книги
      6. Bulion
        Куплено
        Bulion, 19 фев 2017, в разделе: Иностранные языки
      7. Zander
        Куплено
        Zander, 22 янв 2017, в разделе: Иностранные языки
Участники складчины Основания языков программирования (720 стр.) 2010 смогут написать отзыв
Наверх