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 Mieke Massinek, Stefan Leue, Dennis Dams, Robert Gerth
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 Mieke Massinek, Stefan Leue, Dennis Dams, Robert Gerth
ISBN 13: 9783540664994
Format: Paperback
(290 pages)
Publisher: Springer
Published: 13 Jun 2008
Save for later
New : $74.44