- 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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Момент истины (В августе сорок четвертого...)
Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Проектирование толкаемых составов и составных судов
Автор: Б.В. Богданов, Автор: Г.А. Алчуджан, Автор: В.Б. ЖинкинКатегория: 1003605-Судостроение
Размер книги: 5.64 Mb
Musical Genius: A Story About Wolfgang Amadeus Mozart (Creative Minds Biographies)
Автор: Barbara Allman
Размер книги: 2.57 Mb
Equilibrium and rationality: Game theory revised by decision rules
Автор: Weirich P.Категория: G_Economics, GA_Game Theory
Размер книги: 1.50 Mb
Color Atlas of Dermatopathology (Dermatology: Clinical & Basic Science)
Автор: Jane M. Grant-Kels (Editor)
Размер книги: 51.69 Mb