Result: SPIN model checking and software verification ; proceedings

*Title*:

SPIN model checking and software verification ; proceedings / 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Klaus Havelund ... (ed.)

*Author/editor-in-chief*:

*Corporate*:

*Publication*:

Berlin : Springer, 2000

*Physical description scale*:

X, 342 Seiten : Diagramme ; 24 cm

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 1885
*show_all_volumes*

*Notes*:

Literaturangaben

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540410309

*Result*: SPIN model checking and software verification ; proceedings