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

Здоровье надо созидать

 Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

 Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Колесники

 Автор: , Автор:
Категория: Научная Фантастика
Размер книги: 983 Kb

000000-THE_20DY

 Автор:
Размер книги: 233 b

Amanda Quick - Arcane Society 03 - Sizzle and Burn

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

Сочинения

 Автор:
Категория: Наука
Размер книги: 175 Kb

Шликерное литье

 Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb

Kritiken, Refexionen

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

I Giganti Di Pietra

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

Euro-5 Antwoordt Niet

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