Treffer: Computer aided verification
Titel:
Computer aided verification : 12th international conference ; proceedings / CAV 2000, Chicago, IL, USA, July 15 - 19, 2000. E. Allen Emerson ; A. Prasad Sistla (ed.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2000
Umfang:
X, 582 Seiten : Diagramme ; 24 cm
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; Vol. 1855
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540677704