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

Barnes and Noble

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / Edition 1

Unfortunately, this item is no longer available, but we found some similar items you might like.
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, Proceedings
Loading Inventory...

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

Barnes and Noble
Current price: $59.99
Powered by Adeptmind