Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

Mandayam Srivas, Albert Camilleri (eds.)
Bok · Engelsk · 1996 FMCAD '96

Utgitt	Berlin : Springer , c1996
Omfang	IX, 470 s. : ill.
Emner	Automatic theorem proving - Verification Computer engineering Digital integrated circuits - Computer-aided design Formal methods (Computer science) Vis mer... Integrated circuits - Computer-aided design DAK-DAP Electrical & Computer Engineering Electrical Engineering Engineering & Applied Sciences Formell spesifikasjon Konstruksjoner Modellering Verifikasjon cad
Dewey	621.39/2
ISBN	3540619372