Treffer: Computer Aided Verification

Titel:

Computer Aided Verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings / edited by E. Allen Emerson, Aravinda Prasad Sistla

Verantwortlich:

Emerson, E. Allen (Verfasser) ; Sistla, Aravinda Prasad (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 ; 1855
alle Bände anzeigen

Andere Ausgaben:

Elektronische Reproduktion von: Emerson, E. Allen, 1954-. Computer Aided Verification. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2000

RVK-Notation:

SS 4000

Schlagworte:

Vorliegende Ausgabe:

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

ISBN:

9783540450474 ; 3540450475 ; 9783540677703 (Sekundärausgabe) ; 3540677704 (Sekundärausgabe)

DOI:

10.1007/10722167

Treffer: Computer Aided Verification

Zusatz-Informationen

Zusatz-Funktionen