libcats.org
Главная

Computer Aided Verification, 14 conf., CAV 2002

Обложка книги Computer Aided Verification, 14 conf., CAV 2002

Computer Aided Verification, 14 conf., CAV 2002

,
This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

Древо жизни

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

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

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Cellular Aspects of HIV Infection

Автор:
Категория: science_books, biology_genetics
Размер книги: 4.55 Mb

Efter sa manga ar

Автор:
Размер книги: 1 Kb

Ракета

Автор:
Категория: Посвящения
Размер книги: 245 Kb

Methode de musculation : 110 exercices sans materiel

Автор:
Размер книги: 35.55 Mb

Hitler: A Study in Tyranny (Completely Revised Edition)

Автор:
Категория: Образование
Размер книги: 51.57 Mb

A Time For Love

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

Atonement a novel

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