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

Женская пантомима

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

Евгений Максимов. Место в жизни

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

Избор на богове

 Автор:
Категория: Классическая проза
Размер книги: 582 Kb

Блюда из риса

 Автор:
Категория: house, house, cook
Размер книги: 5.71 Mb

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

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