- 2 402 202 книги
- Поиск
libcats.org
Computer Aided Verification, 12 conf., CAV 2000
E. Allen Emerson, A. Prasad SistlaProceedings 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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Нарушители правил
Автор: Новоселов ДмитрийКатегория: Детектив, Современная проза
Размер книги: 950 Kb
Замечательная планета Земля (Предисловие к сборнику 'Судьбы наших детей')
Автор: Глазков ЮрийКатегория: Публицистика
Размер книги: 8 Kb
Timing Techniques for Commodity Futures Markets: Effective Strategy and Tactics for Short-Term and Long-Term Traders
Автор: Colin AlexanderКатегория: Экономика и финансы
Размер книги: 9.72 Mb
Black-Body Theory and the Quantum Discontinuity, 1894-1912
Автор: Thomas S. KuhnКатегория: История
Размер книги: 102.46 Mb
Сказка оригами. Игрушки из бумаги
Автор: С. СоколоваКатегория: КНИГИ ДЛЯ ДЕТЕЙ
Размер книги: 4.06 Mb