libcats.org
Главная →

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

Обложка книги Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001

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

,
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.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Только что пользователи скачали эти книги:

65

 Автор:
Размер книги: 68 Kb

Complexity explained

 Автор:
Категория: Mathematics, Popular-level
Размер книги: 4.90 Mb

Чэн-энь У Путь на запад

 Автор:
Категория: 921601-Книги по Тайцзи и Цигун, CHM
Размер книги: 1.44 Mb