Treffer: Computer Aided Verification

Titel:

Computer Aided Verification : 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings / edited by Costas Courcoubetis

Beteiligt:

Veröffentlicht:

Berlin, Heidelberg : Springer-Verlag, 1993

Umfang:

... Seiten

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Andere Ausgaben:

Elektronische Reproduktion von: Courcoubetis, Costas. Computer Aided Verification. - Berlin, Heidelberg : Springer-Verlag, 1993

RVK-Notation:

Vorliegende Ausgabe:

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

ISBN:

9783540477877 ; 354047787X ; 9783540569220 (Sekundärausgabe) ; 3540569227 (Sekundärausgabe)

DOI:

10.1007/3-540-56922-7

Zusatz-Informationen