Computer Aided Verification

Par : Helmut Veith

Formats :

PrésentationBroché
Poids1.53 kg

ISBN978-3-642-39798-1
EAN9783642397981
Date de parution01/01/2013
ÉditeurSpringer

A propos de Helmut Veith

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 €