Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001

Booksee.org

All 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»

EPUB | FB2 | MOBI | TXT | RTF

* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.

Популярные книги за неделю:

В.Н.Носов. Полупроводники и их применение (1968, djvu)

1.03 Mb

Самодельные детали для сельского радиоприемника

Авторы: З.Б.Гинзбург, Ф.И.Тарасов.

Категория: радиоэлектроника

1.40 Mb

27.33 Mb

Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах

Роман Савин

Категория: info, manual, computers, computers, manuals

5.26 Mb

Путь к здоровью и долголетию

Горен Михаэль

Категория: Здоровье

1.13 Mb

Система упражнений по развитию способностей человека (Практическое пособие)

Петров Аркадий Наумович

Категория: Путь к себе

818 Kb

Самоделки школьника

Тарасов Б.В.

Категория: science, science, technical, hobby, oddjob

41.91 Mb

#10

Электронные схемы и их применение

Сентурия С., Уэдлок Б.

10.14 Mb

Только что пользователи скачали эти книги:

Прием ведет доктор Бутейко

Категория: Здоровье

17 Kb

Малина в Вашем саду

Коллектив авторов

Категория: house, house, plant

744 Kb

1.57 Mb

134.69 Mb

#10

The Bride of the Unicorn

Michaels Kasey

Категория: fiction

546 Kb