Treffer: Formal Methods in Computer-Aided Design

Titel:

Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings / edited by Mandayam Srivas, Albert Camilleri

Beteiligt:

Srivas, Mandayam (Verfasser); Camilleri, Albert (Verfasser)

Veröffentlicht:

Berlin, Heidelberg : Springer-Verlag, 1996

Umfang:

... Seiten

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Andere Ausgaben:

Elektronische Reproduktion von: Srivas, Mandayam. Formal Methods in Computer-Aided Design. - Berlin, Heidelberg : Springer-Verlag, 1996

RVK-Notation:

SS 4000

Schlagworte:

Vorliegende Ausgabe:

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

ISBN:

9783540495673 ; 3540495673 ; 9783540619376 (Sekundärausgabe) ; 3540619372 (Sekundärausgabe)

DOI:

10.1007/BFb0031795

Treffer: Formal Methods in Computer-Aided Design

Zusatz-Informationen

Zusatz-Funktionen