Don't forget to bookmark this web site !!
Used Books | Contact us | Home

Browse and Compare Price at 40+ Sites and 20,000+ Stores!!

|  FAQ/About us |  Recommend us |  Browse |  Memo |  Book Reviews |  Random Quotes |  Help |

  TOP > COMPUTERS > Programming : Software Development > Computer software - Verification

Pages:  1 

1. Computer-Aided Verification
079239285X - Hardcover - List Price: $240.00
Editor: Robert Kurshan

2. Concurrency Verification
0521806089 - Book - List Price: $120.00
Editor: W.-P. De Roever

3. Independent Verification and Validation
0471570117 - Book - List Price: $150.00
Author: Robert O. Lewis

4. Model Checking Software
3540401172 - Paperback - List Price: $45.00
Author: Or.) International Spin Workshop 2003 Portland
Author: Sriram K. Rajamani

5. Model Checking Software
3540434771 - Paperback - List Price: $52.00
Author: Stefan Leue
Author: France) International Spin Workshop 2002 Grenoble

6. Partial Order Methods in Verification
0821805797 - Hardcover - List Price: $85.00
Editor: Doron A. Peled
Editor: Gerard J. Holzmann
Editor: Vaughan R. Pratt

7. Partial-Order Methods for the Verification of Concurrent Systems
0387607617 - Paperback - List Price: $30.00
Author: Patrice Godefroid

8. Partial-Order Methods for the Verification of Concurrent Systems
3540607617 - Paperback - List Price: $44.95
Author: Patrice Godefroid

9. Practical Aspects of Spin Model-Checking
3540664998 - Paperback - List Price: $64.95
Author: France) Spin 9 (1999 Toulouse
Author: World Congress on Formal Methods in the Development of Computing Syste
Editor: G. Goos
Editor: J. Hartmanis
Editor: J. Van Leeuwen
Editor: D. Dams
Editor: R. Gerth

10. Program Verification
0792319656 - Hardcover - List Price: $399.50
Author: James H. Fetzer
Author: Timothy R. Colburn
Editor: Terry L. Rankin

11. Second Workshop on Software Testing, Verification, and Analysis
0818608684 - Paperback - List Price: $50.00

12. Software Verification and Validation
0138220727 - Hardcover - List Price: $63.00
Author: Michael S. Deutsch

13. Software Verification and Validation
0890068895 - Hardcover - List Price: $69.00
Author: Steven R. Rakitin

14. Software Verification and Validation for Practitioners and Managers
1580532969 - Book - List Price: $79.00
Author: Steven R. Rakitin

15. Spin Verification System
0821806807 - Hardcover - List Price: $49.00
Author: N.J.) Workshop on the Spin Verification System (1996 New Brunswick
Author: Jean-Charles Gregoire
Author: Gerard J. Holzmann
Author: Doron Peled

16. Temporal Verification of Reactive Systems
0387944591 - Hardcover - List Price: $79.95
Author: Zohar Manna
Author: Amir Pnueli

17. Validation and Verification of Knowledge Based Systems
0792386450 - Hardcover - List Price: $163.50
Editor: Frans Coenen
Editor: Anca Vermesan

18. Verification and Validation of Rule-Based Expert Systems
084938902X - Hardcover - List Price: $149.95
Author: Abraham Kandel
Author: Suzanne Smith

19. Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control
920100799X - Paperback - List Price: $50.00

20. Verification of Sequential and Concurrent Programs
0387948961 - Hardcover - List Price: $59.95
Author: Ernst-Rudiger Olderog
Author: Krzystof R. Apt
Author: E.-R Olderog
Author: Krzysztof R. Apt

Shipping Destination:
State:
(US only)
Display in:
Search by:
Searching for Out of Print Books? [Click Here]

[ For web hosting, AddALL recommend Liquidweb]