libcats.org
Главная

Computer Aided Verification, 13 conf., CAV 2001

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

Computer Aided Verification, 13 conf., CAV 2001

, ,
Proceedings of the 13th International Conference, CAV 2001, held in Paris, France, July 18-22,2001. Offers topical sections on model checking and theorem proving automata techniques, verification core technology, and timed automata. Softcover.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

Древо жизни

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

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

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

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

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

Импульс «Д»

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

Кинг Конг

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

Олег Авраменко. Я и мой черт (Рассказ)

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

Нефть и новости - 2001

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

Mystical Society: An Emerging Social Vision

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

Manual of Leaf Architecture

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

Shadow Walker

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