Lecture Notes in Computer Science Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th International Spin Workshops, Trento, Italy, July , Book 1680, (Paperback)

Name: Lecture Notes in Computer Science Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th International Spin Workshops, Trento, Italy, July , Book 1680, (Paperback)
Brand: Dennis Dams
SKU: prod_614c144b25d43472e09a2c98
Price: 118.00 USD
Availability: InStock

Lecture Notes in Computer Science Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th International Spin Workshops, Trento, Italy, July , Book 1680, (Paperback) Author: Springer ISBN: 9783540664994 Format: Paperback Publication Date: 1999-09-08 Page Count: 282

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th International Spin Workshops, Trento, Italy, July , Book 1680, (Paperback)—

$118.00

Price unavailable

Lecture Notes in Computer Science Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th International Spin Workshops, Trento, Italy, July , Book 1680, (Paperback)—

$118.00