Treffer: Computer Aided Verification

Titel:

Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings / edited by Gérard Berry, Hubert Comon, Alain Finkel

Verantwortlich:

Berry, Gérard (Verfasser); Comon, Hubert (Verfasser); Finkel, Alain (Verfasser)

Veröffentlicht:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2001

Umfang:

... Seiten

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Andere Ausgaben:

Elektronische Reproduktion von: Berry, Gérard. Computer Aided Verification. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2001

RVK-Notation:

SS 4000

Schlagworte:

Vorliegende Ausgabe:

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

ISBN:

9783540445852 ; 3540445854 ; 9783540423454 (Sekundärausgabe) ; 3540423451 (Sekundärausgabe)

DOI:

10.1007/3-540-44585-4

Treffer: Computer Aided Verification

Zusatz-Informationen

Zusatz-Funktionen