Isabelle: Ein generischer Satzbeweis, Taschenbuch von Paulson, Lawrence C.; Nipko...
58,91 €
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 - ML for the Working Programmer by Paulson, Lawrence C. [Paperback]](https://i.ebayimg.com/thumbs/images/g/rDkAAeSw2jtoSf9h/s-l140.jpg)
![Produktbild - Concrete Semantics: With Isabelle/Hol by Klein, Gerwin [Paperback]](https://i.ebayimg.com/thumbs/images/g/nI0AAeSweitoSjzD/s-l140.jpg)
