Treffer: Computer aided verification
Titel:
Computer aided verification : proceedings ; New Brunswick, NJ, USA, July 31 - August 3, 1996 / 8th International Conference, CAV '96. Rajeev Alur ... (eds.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 1996
Umfang:
XII, 472 Seiten : Diagramme
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 1102
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540614745
Lokale Klassifikationen: