Formal methods in computer-aided design: first international conference, fmcad '96, palo alto, ca, usa, november 6-8, 1996 - proceedings
Auteur :
Srivas, Mandayam
ISBN :
9783540619376
Date de publication :
23 oct. 1996
Dimensions :
23,4 x 15,6 x 2,4 cm
Poids :
1500 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Covering computer-aided systems design, this text deals with topics including verification, synthesis and testing.