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

Home

Barnes and Noble

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings

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

You May Also Like

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