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
Только что пользователи скачали эти книги:

Constructing Accessible Websites

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

50 рецептов для аэрогриля

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

PHP Development in the Cloud

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

Clifford's pals

 Автор:
Категория: Литература, Детская
Размер книги: 13.26 Mb

Chez Max

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

The Gift for All People (Epub, Mobi & PDF)

 Автор:
Категория: Christian
Размер книги: 3.11 Mb