Treffer: Formal Methods in Computer-Aided Design

Titel:

Formal Methods in Computer-Aided Design : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings / edited by Warren A. Hunt, Steven D. Johnson

Verantwortlich:

Hunt, Warren A (Verfasser); Johnson, Steven D (Verfasser)

Veröffentlicht:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2000

Umfang:

... Seiten

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 1954
alle Bände anzeigen

Andere Ausgaben:

Elektronische Reproduktion von: Hunt, Warren A. Formal Methods in Computer-Aided Design. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2000

RVK-Notation:

SS 4000

Vorliegende Ausgabe:

Online-Ausgabe: Berlin : Springer, 2011. - 1 Online-Ressource. - (SpringerLink: Springer e-Books)

ISBN:

9783540409229 ; 354040922X ; 9783540412199 (Sekundärausgabe) ; 3540412190 (Sekundärausgabe)

DOI:

10.1007/3-540-40922-X

Treffer: Formal Methods in Computer-Aided Design

Zusatz-Informationen

Zusatz-Funktionen