Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, ... (Lecture Notes in Computer Science)

by StefanLeue (Author), Dennis Dams (Author), Mieke Massinek (Author), RobertGerth (Author)

New
Paperback
2008
$73.76

$73.76

Quantity

10 in stock

More Information

Format: Paperback
Pages: 290
Edition: 1999
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540664998
ISBN 13: 9783540664994

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, ... (Lecture Notes in Computer Science)

New

$73.76

$73.76

More Information