Model Checking

Par : Orna Grumberg
Formats :
72,50 €
  • ISBN0-262-03270-8
  • EAN9780262032704
  • Date de parution01/01/1999
  • ÉditeurMIT Press (The)

A propos de Orna Grumberg

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