The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Model Checking Software: 9Th International Spin Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes In Computer Science): 2318

Model Checking Software: 9Th International Spin Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes In Computer Science): 2318

by Dragan Bosnacki (Editor)

  • New

    Paperback 2002

    $59.84
Synopsis

The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems.

$59.84

Quantity

20+ in stock

More Information

Format: Paperback
 Pages: 259
 Edition: illustrated edition
 Publisher: Springer
Published: 27 Mar 2002
ISBN 10: 3540434771
ISBN 13: 9783540434771