Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, - detaljert visning

Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

FMCAD '98
Bok Engelsk 1998


Utgitt	Berlin : Springer , c1998
Omfang	IX, 528 s. : ill.
Emner	Automatic theorem proving - Congresses Computer-aided design - Congresses Digital integrated circuits - Design and construction Data processing Congresses Integrated circuits - Verification Congresses Vis mer... DAK-DAP Datastøttet konstruksjon Formelle metoder
ISBN	3540651918