CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 3 of 3 Results
1.
Partial-Order Methods for the Verification of Concurrent Systems An Approach to the State-Ex...
Partial-Order Methods for the Verification of Concurrent Systems An Approach to the State-Ex... by Godefroid, Patrice ISBN: 9783540607618 List Price: $49.95
$52.33
2.
Model Checking Software 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-...
Model Checking Software 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-... by Godefroid, Patrice ISBN: 9783540281955 List Price: $63.00
$26.11 (Save 58%)
3.
Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-...
Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-... by Godefroid, Patrice ISBN: 9783662181522 List Price: $24.99

OUT OF STOCK

See Availability on Amazon