1. Как Вы могли заметить, на форуме появился раздел дампов других форумов.
    Сливап, сеоха (В первом барыжат тем что юзеры выложили под хайд. Во втором, помимо барыжничества, еще говорят что в их приватном разделе есть крутые вещи, но вы узнаете что там только заплатив, а на деле оказывается что там галимый копипаст) и других копипаст форумов которые мусолят одни и те же курсы которые они друг у друга скачали|слили (нужное подчеркнуть).
    И соответсвенно Вы не могли не заметить какой там шлак Вам впаривают по 2000-3000 рублей за аккаунт, тьфу.
    Подробнее...
Внимание!
При проведении и участии в рескладчинах соблюдайте правила по ссылке
Во избежание блокировки аккаунта и других неприятностей.

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

Информация:
Тема в разделе "Электронные книги", создана пользователем Collab_Bot, 18 сен 2016.
Этап:
Набор участников
Цена:
338.00 RUB
Участников:
0 из 10
Организатор:
Отсутствует
0%
Расчетный взнос:
43 RUB
  • (Основной список пока пуст)

  1. Collab_Bot

    Collab_Bot Бот рескладчин Бот форума
    • 3063/3811

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

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

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



    Это рескладчина на
    Ознакомьтесь с правилами проведения и участия в рескладчинах!
     
    Загрузка...