Treffer: Computer aided verification
Titel:
Computer aided verification : 15th international conference ; proceedings / CAV 2003, Boulder, CO, USA, July 8 - 12, 2003 / Warren A. Hunt ; Fabio Somenzi (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2003
Umfang:
XII, 462 Seiten : Diagramme ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 2725
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540405240