Concrete Semantics: With Isabelle/Hol by Klein, Gerwin [Paperback] NEU
89,71 €
Assoc. Prof. Gerwin Klein received his Ph.D. in Computer Science from the Technische Universität München. He is a Senior Principal Researcher/Research Leader at National ICT Australia (NICTA) and an adjunct professor in the School of Computer Science and Engineering, University of New South Wales.
Jetzt bei Ebay: