Treffer: Computer aided verification
Titel:
Computer aided verification : 3rd international workshop ; proceedings / CAV '91, Aalborg, Denmark, July 1 - 4, 1991. K. G. Larsen ... (eds.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 1992
Umfang:
X, 487 Seiten : Diagramme
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 575
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
Schlagworte:
ISBN:
3540551794 ; 0387551794