Treffer: SPIN model checking and software verification ; proceedings
Titel:
SPIN model checking and software verification ; proceedings / 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Klaus Havelund ... (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2000
Umfang:
X, 342 Seiten : Diagramme ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 1885
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540410309