Formal methods in computer-aided design : third international conference, Austin, TX, USA, November 1 - 3, 2000 ; proceedings / FMCAD 2000. Warren A. Hunt ... (ed.)

International Conference Formal Methods in Computer-Aided Design ; 3 (Austin, Tex.) : 2000.11.01-03

FMCAD ; 3 (Austin, Tex.) : 2000.11.01-03

Englisch

Berlin ; Heidelberg [u.a.] : Springer, 2000

XI, 537 S. : graph. Darst. ; 24 cm

Konferenzschrift (2000, Austin, Tex.)

Includes index

Archivierung/Langzeitarchivierung gewährleistet (Rechtsgrundlage Pflichtexemplar Baden-Württemberg). BLB Karlsruhe

kart. : DM 122.00

Online-Ausg.: Hunt, Warren A. Jr: Formal Methods in Computer-Aided Design. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2000. - Online-Ressource

3-540-41219-0 kart. : DM 122.00

9783540412199

*CAD / Verifikation / Formale Methode

*CAD / Verifikation / Model Checking

*Software / Testen / Programmanalyse / Formale Methode

*Computer engineering -- Congresses -- Computer-aided design ; Integrated circuits -- Congresses -- Verification ; Computer-aided design -- Congresses

Klassifikation der Library of Congress: TK7885.A1

Dewey Dezimal-Klassifikation: 621.392 ; 621.39/2

Regensburger Verbund-Klassifikation: SS 4800: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / Lecture notes in computer science

Potsdamer Straße

BIBTEX - ENDNOTE - RIS