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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

ВАЗ 2110i, -2111i, -2112i

 Автор:
Категория: civil, civil, transport
Размер книги: 57.35 Mb

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

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

Древо жизни

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

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

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

Spectral Imaging of the Atmosphere (2002)(en)(304s)

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

Интернет Роман

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

Anthropology of Religious Conversion

 Автор: , Автор:
Категория: Биология, Антропология
Размер книги: 13.97 Mb

Outside the southern myth

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

Last Call For Marcus Grant

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

The Golden Asse

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

de Taal de Stenen tweede boek de dans van de reus

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