|
|
libcats.org
Tools and Algorithms for the Construction and Analysis of Systems, 14 conf., TACAS 2008C.R. Ramakrishnan, Jakob RehofThis book constitutes the refereed proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, held in Budapest, Hungary, in March/April 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 31 revised full research papers and 7 revised tool demonstration papers presented together with the abstract of an invited paper were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.
Скачать книгу бесплатно (pdf, 6.29 Mb)
Читать «Tools and Algorithms for the Construction and Analysis of Systems, 14 conf., TACAS 2008» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Рассказы.Том 2Автор: Платонов Андрей ПлатоновичКатегория: Советская классическая проза
Размер книги: 561 Kb
Опыты над растительными гибридамиАвтор: Мендель Г.И., Автор: Под редакцией Н.К.Кольцова. С приложением юбилейной критической статьи К.Корренс и с примечаниями Е.Чермак, Автор: Перевод Л.И.Бреславец
Размер книги: 1.40 Mb
Открытое (закрытое) обществоАвтор: Суханов Владимир НиколаевичКатегория: Научная литература
Размер книги: 74 Kb
Die Assassinen - Zur Tradition des religiösen Mordes im radikalen IslamАвтор: Bernard Lewis
Размер книги: 1.38 Mb
Что нам стоит дом построитьАвтор: Титов С.А.Категория: КНИГИ ХОББИ и РЕМЕСЛА
Размер книги: 227.17 Mb
|
|
|