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

Barnes and Noble

Systems and Software Verification: Model-Checking Techniques and Tools / Edition 1

Unfortunately, this item is no longer available, but we found some similar items you might like.
Modeling and Simulation of Discrete Event Systems
Loading Inventory...
Barnes and Noble

Modeling and Simulation of Discrete Event Systems

Current price: $137.95
From Barnes and Noble
Coupled Systems: Theory, Models, and Applications Engineering
Loading Inventory...
Barnes and Noble

Coupled Systems: Theory, Models, and Applications Engineering

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