Concrete Semantics: With Isabelle/HOL by Tobias Nipkow (English) Hardcover Book
94,38 €
By Tobias Nipkow, Gerwin Klein. Prof. Tobias Nipkow received his Ph.D. in Manchester, after which he taught and carried out research at MIT and in Cambridge. He was one of the developers of Isabelle, a generic proof assistant, and he coauthored the related LNCS tutorial.
Jetzt bei Ebay:
