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

ВАЗ 2110i, -2111i, -2112i

 Автор:
Категория: civil, civil, transport
Размер книги: 57.35 Mb

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

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

Древо жизни

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

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

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

Long, John Luther - Purple-Eyes

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

За секунды перед бурей

 Автор:
Категория: Ужасы и Мистика
Размер книги: 1.56 Mb

Спокойное Солнце

 Автор:
Категория: P_Physics, PAp_Astrophysics
Размер книги: 6.86 Mb

To Mars via the Moon; An Astronomical Story

 Автор:
Категория: Физика, Астрономия
Размер книги: 1.45 Mb

End the Fed

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

Almost Final Curtain

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