libcats.org
Главная

Tools and Algorithms for the Construction and Analysis of Systems, 6 conf., TACAS 2000

Обложка книги Tools and Algorithms for the Construction and Analysis of Systems, 6 conf., TACAS 2000

Tools and Algorithms for the Construction and Analysis of Systems, 6 conf., TACAS 2000

,
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany in March/April 2000. The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

The Shape of space

Автор:
Категория: Mathematics, Popular-level
Размер книги: 2.66 Mb

German Insignia of World War II

Автор: , Автор:
Категория: Исторические
Размер книги: 58.77 Mb

The Complete Poems

Автор:
Категория: fiction
Размер книги: 2.21 Mb