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

Barnes and Noble

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97

Unfortunately, this item is no longer available, but we found some similar items you might like.
Formal Analysis by Abstract Interpretation: Case Studies Modern Protocols
Loading Inventory...

Formal Analysis by Abstract Interpretation: Case Studies Modern Protocols

Barnes and Noble
Current price: $64.99
Powered by Adeptmind