CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 6 of 6 Results
1.
Systems and Software Verification Model-Checking Techniques and Tools
Systems and Software Verification Model-Checking Techniques and Tools by Berard, Beatrice, Bidoit, M... ISBN: 9783540415237 List Price: $79.95
$87.26
2.
Systems and Software Verification : Model-Checking Techniques and Tools
Systems and Software Verification : Model-Checking Techniques and Tools by Berard, B., Bidoit, M., Fin... ISBN: 9783642074783 List Price: $79.95
$146.43
3.
Recent Trends in Data Type Specification, Vol. 8
Recent Trends in Data Type Specification, Vol. 8 by Bidoit, M., Choppy, C. LRI ... ISBN: 9783540563792 List Price: $74.95
$52.33 (Save 30%)
4.
Algebraic System Specification and Development: A Survey and Annotated Bibliography
Algebraic System Specification and Development: A Survey and Annotated Bibliography by Bidoit, M., Kreowski, Hans-... ISBN: 9783540540601 List Price: $34.95
$52.33
5.
Systems and Software Verification
Systems and Software Verification by Berard, B., Bidoit, M., Fin... ISBN: 9783662045596 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Recent Trends in Data Type Specification 8th Workshop on Specification of Abstract Data Type...
Recent Trends in Data Type Specification 8th Workshop on Specification of Abstract Data Type... by Bidoit, M., Choppy, C. ISBN: 9780387563794 List Price: $74.95

OUT OF STOCK

See Availability on Amazon