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

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by JensPalsberg (Editor), RupakMajumdar (Editor), KlausHavelund (Editor)

  • New

    Paperback 2008

    $80.16
Synopsis

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.

$80.16

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 343
 Edition: illustrated edition
 Publisher: Springer
Published: 25 Jul 2008
ISBN 10: 3540851135
ISBN 13: 9783540851134