Daniel Kroening

Articles populaires de Daniel Kroening

Afficher toutes les offres

Model Checking, second edition
Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut

Prix des articles � partir de

EUR 55,64

Afficher les 4�offres

Rechercher �galement
Neuf, Ancien ou d'occasion
Validation of Evolving Software

Prix des articles � partir de

EUR 54,06

Afficher les 16�offres

Rechercher �galement
Neuf, Ancien ou d'occasion
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Prix des articles � partir de

EUR 51,01

Afficher les 9�offres

Rechercher �galement
Neuf, Ancien ou d'occasion