Verification of reactive systems
Auteur :
Schneider, Klaus
Éditeur :
Schneider, Klaus
ISBN :
9783642055553
Date de publication :
7 déc. 2010
Dimensions :
23,4 x 15,6 x 3,1 cm
Poids :
857 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne