Treffer: Computer Aided Verification

Titel:

Computer Aided Verification : 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings / edited by David L. Dill

Verantwortlich:

Veröffentlicht:

Berlin, Heidelberg : Springer-Verlag, 1994

Umfang:

... Seiten

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Andere Ausgaben:

Elektronische Reproduktion von: Dill, David L. Computer Aided Verification. - Berlin, Heidelberg : Springer-Verlag, 1994

RVK-Notation:

Schlagworte:

Vorliegende Ausgabe:

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

ISBN:

9783540484691 ; 3540484698 ; 9783540581796 (Sekundärausgabe) ; 3540581790 (Sekundärausgabe)

DOI:

10.1007/3-540-58179-0

Zusatz-Informationen