Daniel Kroening
Artículos populares por Daniel Kroening
Ver todas las ofertas-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel; Strichman, Ofer
Precios de los artículos a partir de
Ver 36 ofertasEUR 35,43
-
Model Checking, second edition (Cyber Physical Systems Series)
Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Precios de los artículos a partir de
Ver 9 ofertasEUR 54,60
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel; Strichman, Ofer
Precios de los artículos a partir de
Ver 5 ofertasEUR 63,44
Encuentra también
Antiguos o usados
