Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, US - detaljert visning

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

FMCAD 2002
Bok Engelsk 2002


Utgitt	Berlin : Springer , c2002
Omfang	XI, 398 s. : ill.
Emner	Digital integrated circuits - Computer-aided design Digital integrated circuits - Design and construction Mathematics Formal methods (Computer science) Integrated circuits - Verification Vis mer... DAK-DAP Datastøttet konstruksjon Formelle metoder
ISBN	3540001166