Treffer: Computer aided verification
Titel:
Computer aided verification : proceedings / Fourth International Workshop CAV '92, Montreal, Canada, June 29 - July 1, 1992. G. v. Bochmann ... (eds.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 1993
Umfang:
IX, 422 Seiten : Diagramme
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 663
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540564969 ; 0387564969