Treffer: Computer Aided Verification

Titel:

Computer Aided Verification : 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings / edited by Orna Grumberg

Verantwortlich:

Veröffentlicht:

Berlin, Heidelberg : Springer-Verlag, 1997

Umfang:

... Seiten

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Andere Ausgaben:

Elektronische Reproduktion von: Grumberg, Orna. Computer Aided Verification. - Berlin, Heidelberg : Springer-Verlag, 1997

RVK-Notation:

Schlagworte:

Vorliegende Ausgabe:

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

ISBN:

9783540691952 ; 3540691952 ; 9783540631668 (Sekundärausgabe) ; 3540631666 (Sekundärausgabe)

DOI:

10.1007/3-540-63166-6

Zusatz-Informationen