- 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
Момент истины (В августе сорок четвертого...)
Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Странности любви
Автор: Питерсен ДженнаКатегория: Исторические любовные романы
Размер книги: 554 Kb
Дмитрий Михайлович Балашов. Великий стол (Роман, Государи московские, 2)
Автор:
Размер книги: 970 Kb
Физическая география. Учебное пособие
Автор: Орлёнок В.В., Автор: Курков А.А., Автор: Кучерявый П.П., Автор: Тупикин С.Н.Категория: Естествознание
Размер книги: 12.53 Mb
Ecole d'Ete de Probabilites de Saint-Flour XI - 1981(s)
Автор: X. Fernique, Автор: P. W. Millar, Автор: D. W. Stroock, Автор: M. Weber, Автор: P. L. Hennequin
Размер книги: 1.30 Mb
Fre P. Classical and Quantum Black Holes (IPP, 1999)(T)(368s)_PGr_.djvu
Автор:
Размер книги: 3.26 Mb
Immaterielle Ressourcen. Nachhaltigkeit von Unternehmensführung und Arbeit I
Автор: Manfred Moldaschl
Размер книги: 1.30 Mb
Frommer's Brussels & Bruges Day by Day (Frommer's Day by Day - Pocket)
Автор: Mary Anne Evans
Размер книги: 12.55 Mb