2 Ebooks bởi 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
Anh
DRM
€64.09
