Formal verification of microprocessors
Auteur :
Velev, Miroslav
Éditeur :
Velev, Miroslav
ISBN :
9781441909558
Date de publication :
1 mai 2010
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
USA
Formal Verification of Microprocessors