Betonsemantik: mit Isabelle/Hol - NEU Tobias Nipkow, 2016
71,77 €
Title:-Concrete Semantics: with Isabelle/Hol Author:-Tobias Nipkow, Gerwin Klein Format:-Paperback ISBN13:-9783319357591 Language:-English Publisher:-Springer International Publishing A&G Publication Date:-2016 Pages:-298 Pages Category:-Computer Science Textbook Condition:-Brand New
Jetzt bei Ebay:
![Produktbild - Concrete Semantics: With Isabelle/Hol by Klein, Gerwin [Paperback]](https://i.ebayimg.com/thumbs/images/g/nI0AAeSweitoSjzD/s-l140.jpg)
![Produktbild - Logic, Semantics, Metamathematics [English and Polish Edition]](https://i.ebayimg.com/thumbs/images/g/EAoAAeSwpxZoSgIF/s-l140.jpg)
