The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, Proceedings
Loading Inventory...
Barnes and Noble

Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, Proceedings

Current price: $59.99
From Barnes and Noble
Powered by Adeptmind