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

Mark D. Aagaard, John W. O'Leary (eds.)
Bok · Engelsk · 2002 FMCAD 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 design Datastøttet konstruksjon Electrical & Computer Engineering Electrical Engineering Engineering & Applied Sciences Formelle metoder Datastøttet konstruksjon((NO-TrBIB)REAL010329) Formelle metoder((NO-TrBIB)REAL002404)
Dewey	621.39/2
ISBN	3540001166