Treffer: Computer Aided Verification

Titel:

Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings / edited by Rajeev Alur, Thomas A. Henzinger

Beteiligt:

Alur, Rajeev (Verfasser) ; Henzinger, Thomas A (Verfasser)

Veröffentlicht:

Berlin, Heidelberg : Springer-Verlag, 1996

Umfang:

... Seiten

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Andere Ausgaben:

Elektronische Reproduktion von: Alur, Rajeev, 1966-. Computer Aided Verification. - 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:

9783540685999 ; 3540685995 ; 9783540614746 (Sekundärausgabe) ; 3540614745 (Sekundärausgabe)

DOI:

10.1007/3-540-61474-5

Treffer: Computer Aided Verification

Zusatz-Informationen

Zusatz-Funktionen