Основное меню


Популярные новости
    Облако тегов
    {tags1}
    Наш опрос

    Как вам наш сайт?

    Лучший
    Отлично
    Хорошо
    Нормально
    Плохо

    Рефереры
    {referer1}
    Рекламный блок
    {sape_links}
    Личный кабинет


    Top репортеров
    Архив
    Сентябрь 2015 (1083)
    Июль 2015 (361)
    Июнь 2015 (3349)
    Май 2015 (2533)
    Апрель 2015 (2989)
    Декабрь 2014 (14131)
    Рекомендуем


    Объявления

    Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His

    10-10-2019, 16:33 Bo0mB0om
    Книги журналы
    Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His

    English | ISBN: 303031037X | 2019 | 217 pages | EPUB, PDF | 12 MB + 8 MB


    This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP community. One of the papers is from the distinguished invited speaker Tony Hoare himself. Nine other additional papers compose this volume, covering several aspects of Unifying Theories of Programming.
    DOWNLOAD
    (Buy premium account for maximum speed and resuming ability)




     (голосов: 0)