Decision Procedures: An Algorithmic Point of View by Daniel Kroening (English) H
79,89 €
By Daniel Kroening, Ofer Strichman, R.E. Bryant. Such an approach is very useful for graduate students or students in year four or five. . The book is very well written and interesting to read.".
Jetzt bei Ebay:
