Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings: 2989 (Lecture Notes in Computer Science)

by Laurent Mounier (Series Editor), Susanne Graf (Editor)

New
Illustrated
2008
$74.18

$74.18

Save:$5.43 (7%)

Quantity

10 in stock

More Information

Format: Illustrated
Pages: 324
Edition: 2004
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008
ISBN 10: 3540213147
ISBN 13: 9783540213147

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings: 2989 (Lecture Notes in Computer Science)

New

$74.18

$74.18

More Information