|
|
libcats.org
CONCUR 2005 - Concurrency Theory, 16 conf., CONCUR 2005Martín Abadi, Luca de AlfaroThis book constitutes the refereed proceedings of the 16th International Conference on Concurreny Theory, CONCUR 2005, held in San Francisco, CA, USA in August 2005. The 38 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 100 submissions. Among the topics covered are concurrency related aspects of models of computation, Petri nets, model checking, game semantics, process algebras, real-time systems, verification techniques, secrecy and authenticity, refinement, distributed programming, constraint logic programming, typing systems and algorithms, case studies, tools, and environment for programming and verification.
Скачать книгу бесплатно (pdf, 4.84 Mb)
Читать «CONCUR 2005 - Concurrency Theory, 16 conf., CONCUR 2005» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Рыбы у себя домаАвтор: Кучеренко Сергей ПетровичКатегория: Природа и животные
Размер книги: 1.12 Mb
Оптические методы регистрации быстропротекающих процессовАвтор: Климкин В., Автор: Папырин А., Автор: Солоухин Р.Категория: Оптика
Размер книги: 2.39 Mb
Dutch Messengers: A History of Science Publishing, 1930-1980 (Library of the Written Word)Автор: Cornelis D. AndriesseКатегория: История
Размер книги: 14.55 Mb
A Long Time Coming, The Inspiring, Combative 2008 Campaign and the Historic Election of Barack ObamaАвтор: Evan ThomasКатегория: История
Размер книги: 7.98 Mb
|
|
|