libcats.org
Главная →

Computer Aided Verification, 12 conf., CAV 2000

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

Computer Aided Verification, 12 conf., CAV 2000

,
Proceedings of the 12th International Conference, CAV 2000, held in Chicago, IL, July 15-19, 2000. The conference was devoted to the advancement of the theory and practice for formal methods for hardware and software verification. Covers everything from theoretical foundations to the latest applications. Softcover.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Станислав Гимадеев. Принцип четности

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

О физической природе шаровой молнии

 Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

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

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

Древо жизни

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

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

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

Ширли Джексон. Чарльз

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

Computing a square root for the number field sieve

 Автор:
Категория: Papers, Numerical methods, Integer factoring
Размер книги: 37 Kb

Песни

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

Записки циника

 Автор:
Категория: Поэзия
Размер книги: 3 Kb

Alarms and Diversions

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

Asia and Africa in the Global Economy

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

Devil's Desire

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