Practical formal methods for hardware design
Auteur :
Delgado Kloos, Carlos
ISBN :
9783540620075
Date de publication :
31 mars 1997
Dimensions :
23,4 x 15,6 x 1,6 cm
Poids :
469 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This Esprit volume presents research results from the FORMAT (formal methods in hardware verification) project, a collaboration of five European enterprises, a research institute, and two universities.