- 2 402 202 книги
- Поиск
libcats.org
Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001
Richard J. Boulton, Paul B. JacksonAll current issues in HOL theorem proving and formal verification of hardware and software systems are addressed. Among the HOL theorem proving systems evaluated are Coq, HOL, Isabelle, and PVS. Softcover.
Скачать книгу бесплатно (pdf, 2.54 Mb)
Читать «Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001»
Читать «Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001»
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Миниатюрные радиоконтактные устройства. Радиопередатчики, радиоприемники, радиомикрофоны, радиоконвертеры
Автор: О. А. Попков
Размер книги: 77.68 Mb
Advances in Cryptology - CRYPTO 2005, 25 conf
Автор: Victor ShoupКатегория: CsLn_
Размер книги: 4.56 Mb
Аэрофототопография
Автор: Добровольский А., Автор: Александров С.Категория: E_Engineering
Размер книги: 10.84 Mb
Breathe, Walk and Chew, Volume 187: The Neural Challenge: Part I (Progress in Brain Research)
Автор: Jean-Pierre Gossard, Автор: Rejean Dubuc, Автор: Arlette Kolta
Размер книги: 13.99 Mb
