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

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

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

Древо жизни

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

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

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

The Meme Machine

 Автор:
Категория: psychology, memetics, sociology
Размер книги: 1.72 Mb
Только что пользователи скачали эти книги:

Managing the Risks of Payment Systems

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

Жития святых

 Автор:
Категория: Православная книга
Размер книги: 1.78 Mb

Как устроен НЛО?

 Автор:
Категория: Непознанное
Размер книги: 8 Kb

Password

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

The Flying Circus of Physics

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

Let the Right One In

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

Diverse Romane

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