Daniel Kroening
Beliebte Artikel von Daniel Kroening
Alle Angebote anzeigen-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel; Strichman, Ofer
Artikelpreise ab
7 Angebote anzeigenEUR 33,96
Entdecken Sie auch
Neu -
Model Checking, second edition (Cyber Physical Systems Series)
Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Artikelpreise ab
7 Angebote anzeigenEUR 54,57
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel; Strichman, Ofer
Artikelpreise ab
5 Angebote anzeigenEUR 62,97
Entdecken Sie auch
Antiquarisch
