Computer Software Verification

381 books
Systems and Software VerificationBéatrice Bérard
⏱ 3h 10m

Systems and Software Verification

Béatrice Bérard

2001190 pp.
Systems and software verificationBéatrice Bérard
⏱ 3h 16m

Systems and software verification

Béatrice Bérard

2001196 pp.
Embedded Software Verification and DebuggingDjones Lettnin
⏱ 3h 36m

Embedded Software Verification and Debugging

Djones Lettnin

2016216 pp.
IEEE guide for software verification and validation plansUnknown Author
⏱ 1h 27m

IEEE guide for software verification and validation plans

Unknown Author

199487 pp.
Reference information for the software verification and validation processDolores R. Wallace
⏱ 1h 25m

Reference information for the software verification and validation process

Dolores R. Wallace

199685 pp.
Software verification and validationSteven R. Rakitin
⏱ 4h 31m

Software verification and validation

Steven R. Rakitin

1997271 pp.
Software verification and validationMichael S. Deutsch
⏱ 5h 27m

Software verification and validation

Michael S. Deutsch

1982327 pp.
Software Verification and ValidationMarcus S. S. Fisher
⏱ 3h 2m

Software Verification and Validation

Marcus S. S. Fisher

2010182 pp.
Software Verification and ValidationMarcus S. Fisher
⏱ 2h 52m

Software Verification and Validation

Marcus S. Fisher

2006172 pp.
Tools for Practical Software VerificationBertrand Meyer
⏱ 3h 11m

Tools for Practical Software Verification

Bertrand Meyer

2012191 pp.
Software verification and validationDolores R. Wallace
⏱ 29m

Software verification and validation

Dolores R. Wallace

198929 pp.
Guideline for software verification and validation plansUnited States. National Bureau of Standards.

Guideline for software verification and validation plans

United States. National Bureau of Standards.

1987No page data
Numerical Software VerificationAlessandro Abate
⏱ 1h 55m

Numerical Software Verification

Alessandro Abate

2017115 pp.
Software Verification And Analysis An Integrated Handson ApproachJanusz Laski

Software Verification And Analysis An Integrated Handson Approach

Janusz Laski

2009No page data
Software verification and validation for practitioners and managersSteven R. Rakitin
⏱ 6h 27m

Software verification and validation for practitioners and managers

Steven R. Rakitin

2001387 pp.
Software Verification and Validation: An Engineering and Scientific ApproachMarcus S. Fisher
⏱ 2h 52m

Software Verification and Validation: An Engineering and Scientific Approach

Marcus S. Fisher

2007172 pp.
Numerical Software VerificationSergiy Bogomolov
⏱ 1h 47m

Numerical Software Verification

Sergiy Bogomolov

2017107 pp.
A process improvement model for software verification and validationJohn Callahan

A process improvement model for software verification and validation

John Callahan

1994No page data
Survey and assessment of conventional software verification and validation methodsL. A. Miller
⏱ 2h 55m

Survey and assessment of conventional software verification and validation methods

L. A. Miller

1993175 pp.
SPIN model checking and software verificationInternational SPIN Workshop (7th 2000 Stanford, Calif.)
⏱ 5h 42m

SPIN model checking and software verification

International SPIN Workshop (7th 2000 Stanford, Calif.)

2000342 pp.
Page 1 of 20Next →