Isabelle/HOL
- 作者
- Tobias Nipkow
- 出版社
- Springer 版次：第1版
- 语言
- 英语
- 页数
- 218页
- 装帧
- 平装
- ISBN
- 3540433767
- 分类
- Microprocessors & System Design
- 重量
- 376 g
- 尺寸
- 15.5 x 1.4 x 23.5 cm
- 电子书格式
- epub,pdf,txt,azw3,mobi,fb2,djvu
- 下载次数
- 7299
- 更新日期
- 2023-06-24
《Isabelle/HOL》内容简介：This textbook-like tutorial is a self-contained introduction to interactive proof, specification, and verification in higher-order logic, using the proof assistant Isabelle 2002. In contrast to existing Isabelle documentation, this book provides a direct route into higher-order logic by bypassing first-order logic and minimizing discussion of meta-theory.Isabelle is a generic system for implementing logical formalisms, and Isabelle/HOL is the specialization of Isabelle for higher-order logic; this theorem prover is well suited as a specification and verification system.
Isabelle/HOL EPUB, PDF, TXT, AZW3, MOBI, FB2, DjVu, Kindle电子书免费下载。