Decision Procedures: An Algorithmic Point of View

Par : Daniel Kroening
Formats :
53,45 €
  • ISBN978-3-540-74104-6
  • EAN9783540741046
  • Date de parution01/01/2009
  • ÉditeurSpringer

A propos de Daniel Kroening

Découvrir l'auteur
Model Checking, second edition

Model Checking, second edition

Edmund M. Clarke, Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
E-book
78,49 €
Offrir maintenant
Ou planifier dans votre panier