Formal verification of circuits

Auteur :
Drechsler, Rolf
Éditeur :
Drechsler, Rolf
ISBN :
9780792378587
Date de publication :
1 juin 2000
Dimensions :
23,5 x 15,5 x 1,2 cm
Poids :
990 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA