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 39 offresEUR 35,62
-
Model Checking, second edition
Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Prix des articles à partir de
Afficher les 4 offresEUR 55,59
-
Decision Procedures: An Algorithmic Point of View
Kroening, Daniel
Prix des articles à partir de
Afficher les 6 offresEUR 63,89
Rechercher également
Ancien ou d'occasion
