Hardware and Software: Verification and Testing

Dieses Buch dokumentiert die Ergebnisse der achten Haifa‑Verifikationskonferenz 2012, bietet tiefe Einblicke in formale Verifikation, Modellprüfung ...

Allgemein

Marke
Armin Biere
MPN
Armin Biere 75 black & white illustrations
ISBN
Armin Biere 9783642396106

Eigenschaften

Menü