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
