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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

 Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

 Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Contemporary Theatre, Film and Television, Volume 97

 Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Live The King

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

Ведическая нумерология

 Автор: , Автор:
Категория: society, society, religion
Размер книги: 4.00 Mb

The Kimota Anthology

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

Tuck

 Автор:
Категория: fiction
Размер книги: 545 Kb