Treffer: Computer aided verification
Titel:
Computer aided verification : 9th international conference ; proceedings / CAV '97, Haifa, Israel, June 22 - 25, 1997. Orna Grumberg (ed.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 1997
Umfang:
XI, 486 Seiten : Diagramme ; 23 cm
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 1254
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540631666