Daniel Kroening

Springer, Berlin

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Decision Procedures: An Algorithmic Point of View978-3-540-74104-6
(3-540-74104-6)
2008Ofer Strichman
Digitaltechnik: Eine praxisnahe Einführung978-3-540-77728-1
(3-540-77728-8)
2008Armin Biere · Georg Weissenbacher · Christoph Wintersteiger

Daniel Krupa