Decision Procedures: An Algorithmic Point of View by Daniel Kroening (English) H
99,78 €
By Daniel Kroening, Ofer Strichman. Daniel Kroening is a professor in the Dept. of Computer Science at the University of Oxford; his interests include automated verification, software engineering, and programming languages.
Jetzt bei Ebay:
