Isabelle: A Generic Theorem Prover by Lawrence C. Paulson (English) Paperback Bo
67,51 €
As a generic theorem prover, Isabelle supports a variety of logics. Isabelle's built-in logics are also described in detail. Isabelle can be applied to reasoning in pure mathematics or verification of computer systems.
Jetzt bei Ebay:
