2 电子书 Lawrence C. Paulson
Tobias Nipkow & Lawrence C. Paulson: Isabelle/HOL
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a dir …
PDF
英语
DRM
€64.25
