Verification Software
 |
Formal Verification of Control System Software by Pierre-Lo?c Garoche (English) on E-Bay starting at $79.77
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Nikolai Kosmato Guide to Software Verification with Frama (Hardback) (UK IMPORT) on E-Bay starting at $102.14
Free Worldwide Shipping Expedited: No Next Day: No Rarewaves Rating: 97.6% |
 |
Leveraging Applications of Formal Methods, Verification and Validation. Software on E-Bay starting at $90.18
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Foundations of Computer Software: Modeling, Development, and Verification of Ada on E-Bay starting at $68.73
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Building Bulletproof Software: The Power of Formal Verification (Paperback or So on E-Bay starting at $24.82
Free Worldwide Shipping Expedited: No Next Day: No Bargain Book Stores Rating: 99.3% |
 |
Software Testing Basics: Software Verification Fundamentals for Dedicated Tester on E-Bay starting at $27.60
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Software Verification and Validation: An Engineering and Scientific Approach on E-Bay starting at $60.76
Free Worldwide Shipping Expedited: No Next Day: No AlibrisBooks Rating: 98.7% |
 |
Hardware/Software Co-Design and Co-Verification by Jean-Michel Berg? (English) H on E-Bay starting at $242.66
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Software Verification and Analysis: An Integrated, Hands-On Approach by Janusz L on E-Bay starting at $67.84
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Hardware and Software, Verification and Testing: First International Haifa Verif on E-Bay starting at $67.47
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Hardware and Software, Verification and Testing: Second International Haifa Veri on E-Bay starting at $67.47
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Hardware and Software: Verification and Testing: 11th International Haifa Verifi on E-Bay starting at $77.29
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Hardware and Software: Verification and Testing: 10th International Haifa Verifi on E-Bay starting at $77.29
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Formal Verification of Object-Oriented Software: International Conference, FoVeO on E-Bay starting at $61.73
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Software Verification and Validation: A by Steven R Rakitin: Used on E-Bay starting at $27.38
Free Worldwide Shipping Expedited: No Next Day: No AlibrisBooks Rating: 98.7% |
 |
Formal Verification of Control System Software by Pierre-Lo?c Garoche (English) on E-Bay starting at $92.74
Free Flat Rate Shipping Expedited: No Next Day: No The Nile UK Shop Rating: 98.7% |
 |
Hardware and Software: Verification and Testing: 4th International Haifa Verific on E-Bay starting at $67.04
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Software Verification and Analysis: An Integrated, Hands-On Approach by Janusz L on E-Bay starting at $67.04
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Software Verification and Validation: An Engineering and Scientific Approach on E-Bay starting at $144.92
Free Worldwide Shipping Expedited: No Next Day: No AlibrisBooks Rating: 98.7% |
 |
Guide to Software Verification with Frama-C: Core Components, Usages, and Applic on E-Bay starting at $86.29
Free Worldwide Shipping Expedited: No Next Day: No Bargain Book Stores Rating: 99.3% |
 |
Biere - Hardware and Software Verification and Testing 8th Internat - T555z on E-Bay starting at $70.65
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Ahrendt - Deductive Software Verification - The KeY Book From Theory - T555z on E-Bay starting at $141.28
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Dasso - Verification Validation and Testing in Software Engineering - - T555z on E-Bay starting at $130.02
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Bin - Hardware and Software Verification and Testing Second Interna - T555z on E-Bay starting at $78.84
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Bogomolov - Numerical Software Verification 9th International Worksh - T555z on E-Bay starting at $77.94
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Berg - Hardware/Software Co-Design and Co-Verification - New hardback - T555z on E-Bay starting at $299.96
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Berg - Hardware/Software Co-Design and Co-Verification - New paperbac - N555z on E-Bay starting at $299.96
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Ur - Hardware and Software Verification and Testing First Internati - T555z on E-Bay starting at $79.78
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Dimovski - Software Verification Based on Game Semantics and Process - N555z on E-Bay starting at $112.56
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Laski - Software Verification and Analysis An Integrated Hands-On A - T555z on E-Bay starting at $79.31
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Lettnin - Embedded Software Verification and Debugging - New paperback - T555z on E-Bay starting at $185.30
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Bultan - String Analysis for Software Verification and Security - New - T555z on E-Bay starting at $95.22
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Beckert - Verification of Object-Oriented Software. The KeY Approach - T555z on E-Bay starting at $152.99
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Barner - Hardware and Software Verification and Testing 6th Interna - T555z on E-Bay starting at $93.58
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Software Verification and Validation: Realistic Project Approaches on E-Bay starting at $7.51
Free Worldwide Shipping Expedited: No Next Day: No ThriftBooks Rating: 99.0% |
 |
Software Verification and Validation: A by Rakitin, Steven R. on E-Bay starting at $18.75
Free Worldwide Shipping Expedited: No Next Day: No ThriftBooks Rating: 99.0% |
![Formal Verification of Concurrent Embedded Software [Paperback]](https://i.ebayimg.com/thumbs/images/g/JdUAAOSwPmdnRXdj/s-l140.jpg) |
Formal Verification of Concurrent Embedded Software [Paperback] on E-Bay starting at $29.88
Free Flat Rate Shipping Expedited: No Next Day: No loveourprices2 Rating: 96.3% |
 |
Introducing Software Verification With Dafny Language : Proving Program Corre... on E-Bay starting at $37.18
Free Worldwide Shipping Expedited: No Next Day: No Great Book Prices Store Rating: 96.4% |
 |
Introducing Software Verification With Dafny Language : Proving Program Corre... on E-Bay starting at $37.19
Free Worldwide Shipping Expedited: No Next Day: No Great Book Prices Store Rating: 96.4% |
 |
Software Verification and Validation for Practitioners and Managers, Hardcove... on E-Bay starting at $104.12
Free Worldwide Shipping Expedited: No Next Day: No Great Book Prices Store Rating: 96.4% |
 |
Medical Device Software Verification, Validation, and Compliance, Hardcover b... on E-Bay starting at $171.34
Free Worldwide Shipping Expedited: No Next Day: No Great Book Prices Store Rating: 96.4% |
 |
Software Verification and Analysis : An Integrated, Hands-On Approach, Hardco... on E-Bay starting at $67.83
Free Worldwide Shipping Expedited: No Next Day: No Great Book Prices Store Rating: 96.4% |
 |
Challenges of Software Verification, Hardcover by Arceri, Vincenzo (EDT); Cor... on E-Bay starting at $189.31
Free Worldwide Shipping Expedited: No Next Day: No Great Book Prices Store Rating: 96.4% |
 |
Hardware and Software: Verification and Testing: 9th International Haifa Verific on E-Bay starting at $67.23
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelbe on E-Bay starting at $70.15
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Numerical Software Verification: 12th International Workshop, NSV 2019, New York on E-Bay starting at $67.04
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Empirical Software Engineering and Verification: International Summer Schools, L on E-Bay starting at $82.97
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Hardware and Software: Verification and Testing: 8th International Haifa Verific on E-Bay starting at $61.73
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
String Analysis for Software Verification and Security by Tevfik Bultan (English on E-Bay starting at $82.97
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
SPIN Model Checking and Software Verification: 7th International SPIN Workshop S on E-Bay starting at $67.84
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
Similar Searches
Recent Searches
Affiliate Disclosure: As an Amazon Associate, I earn from qualifying purchases.