Isabelle : A Generic Theorem Prover, Paperback by Paulson, Lawrence C.; Nipko...
76,38 €
As a generic theorem prover, Isabelle supports a variety of logics. Isabelle can be applied to reasoning in pure mathematics or verification of computer systems. It begins by outlining theoretical aspects and then demonstrates the use in practice.
Jetzt bei Ebay:
![Produktbild - Concrete Semantics: With Isabelle/Hol by Klein, Gerwin [Paperback]](https://i.ebayimg.com/thumbs/images/g/nI0AAeSweitoSjzD/s-l140.jpg)
