Computer Software Verification

381 books
Pragmatic Software TestingRex Black
⏱ 6h 6m

Pragmatic Software Testing

Rex Black

2011366 pp.
Toward zero-defect programmingAllan M. Stavely
⏱ 4h 0m

Toward zero-defect programming

Allan M. Stavely

1999240 pp.
Certifiable Software Applications 3Jean-Louis Boulanger
⏱ 5h 28m

Certifiable Software Applications 3

Jean-Louis Boulanger

2018328 pp.
Software testing and continuous quality improvementLewis, William E.
⏱ 8h 54m

Software testing and continuous quality improvement

Lewis, William E.

2005534 pp.
The economics of software qualityCapers Jones
⏱ 9h 47m

The economics of software quality

Capers Jones

2012587 pp.
Languages, Design Methods, and Tools for Electronic System DesignFranco Fummi
⏱ 2h 39m

Languages, Design Methods, and Tools for Electronic System Design

Franco Fummi

2016159 pp.
Data flow analysisUday Khedker
⏱ 6h 35m

Data flow analysis

Uday Khedker

2008395 pp.
Verified softwareVSTTE 2008 (2008 Toronto, Ont.)
⏱ 4h 22m

Verified software

VSTTE 2008 (2008 Toronto, Ont.)

2008262 pp.
Practical software testingIlene Burnstein
⏱ 9h 15m

Practical software testing

Ilene Burnstein

2003555 pp.
Leveraging Applications of Formal Methods, Verification and ValidationTiziana Margaria
⏱ 10h 33m

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria

2008633 pp.
New Trends in Software Methodologies, Tools and TechniquesH. Fujita
⏱ 6h 8m

New Trends in Software Methodologies, Tools and Techniques

H. Fujita

2007368 pp.
Software engineering reviews and auditsBoyd L. Summers
⏱ 4h 0m

Software engineering reviews and audits

Boyd L. Summers

2011240 pp.
Model Checking SoftwareDragan Bošnački
⏱ 4h 20m

Model Checking Software

Dragan Bošnački

2016260 pp.
Verification and Validation of Rule-Based Expert SystemsSuzanne Smith
⏱ 3h 44m

Verification and Validation of Rule-Based Expert Systems

Suzanne Smith

2018224 pp.
Verification and Validation for Quality of UML 2.0 ModelsBhuvan Unhelkar
⏱ 5h 12m

Verification and Validation for Quality of UML 2.0 Models

Bhuvan Unhelkar

2005312 pp.
Validation, verification, and testing of computer softwareW. Richards Adrion
⏱ 57m

Validation, verification, and testing of computer software

W. Richards Adrion

198157 pp.
Correct Software in Web Applications and Web ServicesBernhard Thalheim
⏱ 5h 32m

Correct Software in Web Applications and Web Services

Bernhard Thalheim

2015332 pp.
Concurrency verificationW.-P. de Roever
⏱ 13h 18m

Concurrency verification

W.-P. de Roever

2001798 pp.
Runtime verificationRV 2008 (2008 Budapest, Hungary)
⏱ 3h 7m

Runtime verification

RV 2008 (2008 Budapest, Hungary)

2008187 pp.
The Art Of Application Performance TestingIan Molyneaux
⏱ 3h 38m

The Art Of Application Performance Testing

Ian Molyneaux

2009218 pp.
← PreviousPage 3 of 20Next →