lawrence paulson
Isabelle/HOL
EbookSofort lieferbarThis volume is a self-contained introduction to interactive proof in high- order logic (HOL), usi...
ML for the Working Programmer
TaschenbuchBezug 11-15This new edition of a successful text treats modules in more depth, and covers the revision of ML...
Logic and Computation
TaschenbuchBezug 11-15Logic and Computation is concerned with techniques for formal theorem-proving, with particular re...
First-Class Times
TaschenbuchBezug 11-15'The best education,' the admissions brochure declared, 'is the confrontation of two first-class ...
Isabelle/HOL
TaschenbuchPrint on DemandThis volume is a self-contained introduction to interactive proof in high- order logic (HOL), usi...
Isabelle
TaschenbuchPrint on DemandAs a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include ...
- 1