Daniel Kroening
Articles populaires de Daniel Kroening
Afficher toutes les offres-
Decision Procedures: An Algorithmic Point of View
Kroening, Daniel; Strichman, Ofer
Prix des articles à partir de
Afficher les 38 offresEUR 34,62
-
Model Checking, second edition
Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Prix des articles à partir de
Afficher les 9 offresEUR 54,89
-
Decision Procedures: An Algorithmic Point of View
Kroening, Daniel
Prix des articles à partir de
Afficher les 6 offresEUR 63,35
Rechercher également
Ancien ou d'occasion
