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

Name: Lecture Notes in Computer Science Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, Book 2989, (Paperback)
Brand: Susanne Graf
SKU: prod_5686039482ddf523cd1f4372
Price: 121.00 USD
Availability: InStock

Lecture Notes in Computer Science Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, Book 2989, (Paperback) Author: Springer ISBN: 9783540213147 Format: Paperback Publication Date: 2004-03-18 Page Count: 314

Shipping & Returns

Price unavailable

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

$121.00

Price unavailable

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

$121.00