Suchfeld einblenden
Person Dams, Dennis
2 Treffer
Seite < 1 >
Theoretical and practical aspects of SPIN model checking
: proceedings / 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999 ; Toulouse, France, September 21 and 24, 1999. Dennis Dams ... (ed.). - Berlin : Springer, 1999. - X, 276 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1680)
ISBN 978-3-540-66499-4 / 3-540-66499-8 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Theoretical and practical aspects of SPIN model checking
: proceedings / 5th and 6th International SPIN Workshops, Trento, Italy, July 1999 ... D. Dams ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1680)
ISBN 978-3-540-48234-5
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
