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

Barnes and Noble

Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

Unfortunately, this item is no longer available, but we found some similar items you might like.
Stabilization, Safety, and Security of Distributed Systems: 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, Proceedings
Loading Inventory...
Barnes and Noble

Stabilization, Safety, and Security of Distributed Systems: 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, Proceedings

Current price: $99.99
From Barnes and Noble
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
Theory and Applications of Satisfiability Testing - SAT 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings
Loading Inventory...
Barnes and Noble

Theory and Applications of Satisfiability Testing - SAT 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

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