Verification Software

Challenges of Software Verification (Intelligent Systems Reference Library)
Challenges of Software Verification (Intelligent Systems Reference Library) on E-Bay starting at $179.93

Free Flat Rate Shipping

Expedited: No

Next Day: No

simplybestprices-10to20dayshipping

Rating: 97.9%

Strichman - Hardware and Software  Verification and Testing   13th In - S9000z
Strichman - Hardware and Software Verification and Testing 13th In - S9000z on E-Bay starting at $122.43

Free Worldwide Shipping

Expedited: No

Next Day: No

iHaveit

Rating: 98.8%

Yorav - Hardware and Software  Verification and Testing - New paperba - S9000z
Yorav - Hardware and Software Verification and Testing - New paperba - S9000z on E-Bay starting at $68.72

Free Worldwide Shipping

Expedited: No

Next Day: No

iHaveit

Rating: 98.8%

Bertacco - Hardware and Software  Verification and Testing   9th Inte - S9000z
Bertacco - Hardware and Software Verification and Testing 9th Inte - S9000z on E-Bay starting at $69.20

Free Worldwide Shipping

Expedited: No

Next Day: No

iHaveit

Rating: 98.8%

Piterman - Hardware and Software  Verification and Testing   11th Int - S9000z
Piterman - Hardware and Software Verification and Testing 11th Int - S9000z on E-Bay starting at $75.70

Free Worldwide Shipping

Expedited: No

Next Day: No

iHaveit

Rating: 98.8%

Bogomolov - Numerical Software Verification   9th International Works - S9000z
Bogomolov - Numerical Software Verification 9th International Works - S9000z on E-Bay starting at $75.70

Free Worldwide Shipping

Expedited: No

Next Day: No

iHaveit

Rating: 98.8%

Bultan - String Analysis for Software Verification and Security - New - S9000z
Bultan - String Analysis for Software Verification and Security - New - S9000z on E-Bay starting at $85.86

Free Worldwide Shipping

Expedited: No

Next Day: No

iHaveit

Rating: 98.8%

Christakis - Software Verification   12th International Conference V - S9000z
Christakis - Software Verification 12th International Conference V - S9000z on E-Bay starting at $75.70

Free Worldwide Shipping

Expedited: No

Next Day: No

iHaveit

Rating: 98.8%

Eder - Hardware and Software  Verification and Testing   7th Internat - S9000z
Eder - Hardware and Software Verification and Testing 7th Internat - S9000z on E-Bay starting at $88.16

Free Worldwide Shipping

Expedited: No

Next Day: No

iHaveit

Rating: 98.8%

Isac - Software Verification and Formal Methods for ML-Enabled Autono - S9000z
Isac - Software Verification and Formal Methods for ML-Enabled Autono - S9000z on E-Bay starting at $85.86

Free Worldwide Shipping

Expedited: No

Next Day: No

iHaveit

Rating: 98.8%

Guide to Software Verification with Frama-C   Core Components Usages - S9000z
Guide to Software Verification with Frama-C Core Components Usages - S9000z on E-Bay starting at $96.52

Free Worldwide Shipping

Expedited: No

Next Day: No

iHaveit

Rating: 98.8%

Challenges of Software Verification by Vincenzo Arceri (English) Hardcover Book
Challenges of Software Verification by Vincenzo Arceri (English) Hardcover Book on E-Bay starting at $189.32

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Software Verification and Validation for Practitioners and Managers, Hardcove...
Software Verification and Validation for Practitioners and Managers, Hardcove... on E-Bay starting at $76.98

Free Worldwide Shipping

Expedited: No

Next Day: No

Great Book Prices Store

Rating: 96.4%

Hardware and Software : Verification and Testing, Paperback by Biere, Armin (...
Hardware and Software : Verification and Testing, Paperback by Biere, Armin (... on E-Bay starting at $70.64

Free Flat Rate Shipping

Expedited: No

Next Day: No

superbookdeals

Rating: 95.8%

Hardware and Software : Verification and Testing: 12th International Haifa Ve...
Hardware and Software : Verification and Testing: 12th International Haifa Ve... on E-Bay starting at $65.79

Free Flat Rate Shipping

Expedited: No

Next Day: No

superbookdeals

Rating: 95.8%

Numerical Software Verification : 12th International Workshop, Nsv 2019, New ...
Numerical Software Verification : 12th International Workshop, Nsv 2019, New ... on E-Bay starting at $100.11

Free Flat Rate Shipping

Expedited: No

Next Day: No

superbookdeals

Rating: 95.8%

Tools for Practical Software Verification : International Summer School, Lase...
Tools for Practical Software Verification : International Summer School, Lase... on E-Bay starting at $58.95

Free Flat Rate Shipping

Expedited: No

Next Day: No

superbookdeals

Rating: 95.8%

Formal Verification of Object-Oriented Software: International Conference, FoVeO
Formal Verification of Object-Oriented Software: International Conference, FoVeO on E-Bay starting at $68.73

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Building Bulletproof Software: How Formal Verification Saves the Day by Bernard
Building Bulletproof Software: How Formal Verification Saves the Day by Bernard on E-Bay starting at $27.16

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Software Verification and Validation: An Engineering and Scientific Approach by
Software Verification and Validation: An Engineering and Scientific Approach by on E-Bay starting at $114.82

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Hardware and Software: Verification and Testing: 12th International Haifa Verifi
Hardware and Software: Verification and Testing: 12th International Haifa Verifi on E-Bay starting at $73.81

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Hardware and Software: Verification and Testing: 6th International Haifa Verific
Hardware and Software: Verification and Testing: 6th International Haifa Verific on E-Bay starting at $67.04

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Software Quality Approaches: Testing, Verification, and Validation: Software Bes
Software Quality Approaches: Testing, Verification, and Validation: Software Bes on E-Bay starting at $67.84

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Software Engineering: Specification, Implementation, Verification by Suad Alagi?
Software Engineering: Specification, Implementation, Verification by Suad Alagi? on E-Bay starting at $100.41

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Hardware/Software Co-Design and Co-Verification by Oz Levia (English) Paperback
Hardware/Software Co-Design and Co-Verification by Oz Levia (English) Paperback on E-Bay starting at $242.23

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Deductive Software Verification: Future Perspectives: Reflections on the Occasio
Deductive Software Verification: Future Perspectives: Reflections on the Occasio on E-Bay starting at $67.04

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Software Verification and Validation: Realistic Project Approache
Software Verification and Validation: Realistic Project Approache on E-Bay starting at $17.26

Free Worldwide Shipping

Expedited: No

Next Day: No

Awesomebooksusa

Rating: 98.0%

Systems and Software Verification by Berard
Systems and Software Verification by Berard on E-Bay starting at $173.95

Free Flat Rate Shipping

Expedited: No

Next Day: No

American Bargains Warehouse

Rating: 91.5%

Hardware and Software: Verification and Testing: Third International Haifa Verif
Hardware and Software: Verification and Testing: Third International Haifa Verif on E-Bay starting at $67.04

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT,
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, on E-Bay starting at $72.35

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Hardware and Software: Verification and Testing: 13th International Haifa Verifi
Hardware and Software: Verification and Testing: 13th International Haifa Verifi on E-Bay starting at $73.87

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Deductive Software Verification The KeY Book: From Theory to Practice by Wolfgan
Deductive Software Verification The KeY Book: From Theory to Practice by Wolfgan on E-Bay starting at $147.47

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Rigorous Software Development: An Introduction to Program Verification by Jos? B
Rigorous Software Development: An Introduction to Program Verification by Jos? B on E-Bay starting at $51.08

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Tools for Practical Software Verification: International Summer School, LASER 20
Tools for Practical Software Verification: International Summer School, LASER 20 on E-Bay starting at $61.73

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Verification and Validation of Real-Time Software by William J. Quirk (English)
Verification and Validation of Real-Time Software by William J. Quirk (English) on E-Bay starting at $67.04

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Modeling and Verification of Real-time Systems: Formalisms and Software Tools by
Modeling and Verification of Real-time Systems: Formalisms and Software Tools by on E-Bay starting at $266.82

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

David A Vogel Medical Device Software Verification, Validation, and C (Hardback)
David A Vogel Medical Device Software Verification, Validation, and C (Hardback) on E-Bay starting at $227.36

Free Worldwide Shipping

Expedited: No

Next Day: No

rarewaves-usa

Rating: 97.8%

Guide to Software Verification with Frama-C: Core Components, Usages, and Applic
Guide to Software Verification with Frama-C: Core Components, Usages, and Applic on E-Bay starting at $79.95

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th on E-Bay starting at $82.97

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Software Testing Basics: Software Verification Fundamentals for All Dedicated Te
Software Testing Basics: Software Verification Fundamentals for All Dedicated Te on E-Bay starting at $15.56

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Hardware and Software: Verification and Testing: 5th International Haifa Verific
Hardware and Software: Verification and Testing: 5th International Haifa Verific on E-Bay starting at $66.85

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Formal Approaches to Software Testing and Runtime Verification: First Combined I
Formal Approaches to Software Testing and Runtime Verification: First Combined I on E-Bay starting at $73.49

Free Worldwide Shipping

Expedited: No

Next Day: No

grandeagleretail

Rating: 98.3%

Systems and Software Verification: Model-Checking... by Schnoebelen, P. Hardback
Systems and Software Verification: Model-Checking... by Schnoebelen, P. Hardback on E-Bay starting at $333.72

Free Worldwide Shipping

Expedited: No

Next Day: No

World of Books USA

Rating: 89.8%

HP 8160A Verification and Calibration Software Operation and Information
HP 8160A Verification and Calibration Software Operation and Information on E-Bay starting at $39.99

Free Worldwide Shipping

Expedited: No

Next Day: No

Phoebes Manuals

Rating: 95.1%

HP 01660-17529 Performance Verification 1660/61/62/63E/EP/ES Floppy Software
HP 01660-17529 Performance Verification 1660/61/62/63E/EP/ES Floppy Software on E-Bay starting at $39.99

Free Worldwide Shipping

Expedited: No

Next Day: No

Phoebes Manuals

Rating: 95.1%

HP 01660-17506 Performance Verification 1660/61/62/63C/CS Floppy Disk Software
HP 01660-17506 Performance Verification 1660/61/62/63C/CS Floppy Disk Software on E-Bay starting at $39.99

Free Worldwide Shipping

Expedited: No

Next Day: No

Phoebes Manuals

Rating: 95.1%

HP 01660-17506 Performance Verification 1660/61/62/63C/CS Floppy Disk Software
HP 01660-17506 Performance Verification 1660/61/62/63C/CS Floppy Disk Software on E-Bay starting at $39.99

Free Worldwide Shipping

Expedited: No

Next Day: No

Phoebes Manuals

Rating: 95.1%

HP 16500-13555 16500A & 16501A Performance Verification Composite Disk Software
HP 16500-13555 16500A & 16501A Performance Verification Composite Disk Software on E-Bay starting at $39.99

Free Worldwide Shipping

Expedited: No

Next Day: No

Phoebes Manuals

Rating: 95.1%

Introducing Software Verification with Dafny Language: Proving Program: New
Introducing Software Verification with Dafny Language: Proving Program: New on E-Bay starting at $31.33

Free Worldwide Shipping

Expedited: No

Next Day: No

AlibrisBooks

Rating: 98.7%

Deductive Software Verification: Future Perspectives: Reflections on the Occasio
Deductive Software Verification: Future Perspectives: Reflections on the Occasio on E-Bay starting at $69.99

Free Flat Rate Shipping

Expedited: No

Next Day: No

2014xcess

Rating: 96.5%


Affiliate Disclosure: As an Amazon Associate, I earn from qualifying purchases.