Secd microprocessor, the: a verification case study
Auteur :
Graham, Brian T.
Éditeur :
Graham, Brian T.
ISBN :
9780792392453
Date de publication :
31 mai 1992
Dimensions :
23,4 x 15,6 x 1,2 cm
Poids :
1000 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
Presents a case study of hardware specification and verification. This title is of interest to those considering the use or learning about the application of formal methods.