Treffer: Model checking software
Titel:
Model checking software : proceedings / 10th International SPIN Workshop, Portland, OR, USA, May 9 - 10, 2003. Thomas Ball ; Sriram K. Rajamani (ed.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2003
Umfang:
VIII, 239 Seiten : Diagramme ; 24 cm
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; Vol. 2648
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540401172