Theorem provers in circuit design: theory, practice and experience
Auteur :
Kumar, Ramayya
ISBN :
9783540590477
Date de publication :
6 mars 1995
Dimensions :
23,3 x 15,5 x 1,7 cm
Poids :
456 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedings