Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Treffer: Model checking software

Titel:

Model checking software : proceedings / 8th International SPIN Workshop, Toronto, Canada, May 19 - 20, 2001. Matthew Dwyer (ed.)

Beteiligt:

Körperschaft:

Veröffentlicht:

Berlin : Springer, 2001

Umfang:

X, 311 Seiten : Illustrationen, Diagramme

Format:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 2057
alle Bände anzeigen

Anmerkungen:

Literaturangaben

RVK-Notation:

Schlagworte:

ISBN:

3540421246

Zusatz-Informationen