1- 20 of 61 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Program Verification: Fundamental Issues in Computer Science, Author: Timothy T.R. Colburn
QUICK ADD
Program Verification:…
by Timothy T.R. Colburn (Editor), J.H. Fetzer (Editor), R.L. Rankin (Editor)
#14 in Series
Hardcover $329.00
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods / Edition 1, Author: Willem-Paul de Roever
QUICK ADD
Concurrency Verification:…
by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech
#54 in Series
Hardcover $284.00
Title: Measurement for Software Control and Assurance / Edition 1, Author: B.A. Kitchenham
QUICK ADD
Measurement for Software…
by B.A. Kitchenham, B. Littlewood
Hardcover $219.99
Title: Fundamentals of Software Testing / Edition 1, Author: Bernard Homès
QUICK ADD
Fundamentals of Software…
by Bernard Homès
#590 in Series
Hardcover $184.95
Title: Software Quality Assurance: Integrating Testing, Security, and Audit / Edition 1, Author: Abu Sayed Mahfuz
QUICK ADD
Software Quality Assurance:…
by Abu Sayed Mahfuz
Explore Series
Hardcover $180.00
Title: Software Deployment, Updating, and Patching / Edition 1, Author: Bill Stackpole
QUICK ADD
Software Deployment, Updating,…
by Bill Stackpole, Patrick Hanrion
Explore Series
Hardcover $180.00
Title: Software-Implemented Hardware Fault Tolerance / Edition 1, Author: Olga Goloubeva
QUICK ADD
Software-Implemented Hardware…
by Olga Goloubeva, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante
Hardcover $169.99
Title: Embedded Processor-Based Self-Test / Edition 1, Author: Dimitris Gizopoulos
QUICK ADD
Embedded Processor-Based…
by Dimitris Gizopoulos, A. Paschalis, Yervant Zorian
#28 in Series
Hardcover $169.99
Title: The Core Test Wrapper Handbook: Rationale and Application of IEEE Std. 1500T / Edition 1, Author: Francisco da Silva
QUICK ADD
The Core Test Wrapper Handbook…
by Francisco da Silva, Teresa McLaurin, Tom Waayers
#35 in Series
Hardcover $169.99
Title: Achieving Safety and Reliability with Computer Systems / Edition 1, Author: B.K. Daniels
QUICK ADD
Achieving Safety and…
by B.K. Daniels
Hardcover $169.99
Title: Reliability, Quality and Safety of Software-Intensive Systems: IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece / Edition 1, Author: Dimitris Gritzalis
QUICK ADD
Reliability, Quality and…
by Dimitris Gritzalis
Explore Series
Hardcover $169.99
Title: International IT Regulations and Compliance: Quality Standards in the Pharmaceutical and Regulated Industries / Edition 1, Author: Siri H. Segalstad
QUICK ADD
International IT Regulations…
by Siri H. Segalstad
Hardcover $169.95
Title: Quality of Numerical Software: Assessment and enhancement / Edition 1, Author: Ronald F. Boisvert
QUICK ADD
Quality of Numerical Software:…
by Ronald F. Boisvert
Explore Series
Hardcover $169.00
Title: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever
QUICK ADD
Data Refinement:…
by Willem-Paul de Roever, Kai Engelhardt
#47 in Series
Hardcover $160.00
Title: Systems and Software Verification: Model-Checking Techniques and Tools / Edition 1, Author: B. Berard
QUICK ADD
Systems and Software…
by B. Berard, P. McKenzie, M. Bidoit, A. Finkel, F. Laroussinie
Hardcover $159.99
Title: Cyber-Risk Informatics: Engineering Evaluation with Data Science / Edition 1, Author: Mehmet Sahinoglu
QUICK ADD
Cyber-Risk Informatics:…
by Mehmet Sahinoglu
Hardcover $156.75
Title: Medical Device Software Verification, Validation and Compliance, Author: David A. Vogel
QUICK ADD
Medical Device Software…
by David A. Vogel
Hardcover $153.00
Title: Software Testing and Quality Assurance: Theory and Practice / Edition 1, Author: Kshirasagar Naik
QUICK ADD
Software Testing and Quality…
by Kshirasagar Naik, Priyadarshi Tripathy
Explore Series
Hardcover $152.95
Title: SPICE: The Theory and Practice of Software Process Improvement and Capability Determination / Edition 1, Author: Khaled El Emam
QUICK ADD
SPICE: The Theory and Practice…
by Khaled El Emam, Jean-Normand Drouin, Walcélio Melo, Alec Dorling
#7 in Series
Hardcover $149.95
Title: Using Aspect-Oriented Programming for Trustworthy Software Development / Edition 1, Author: Vladimir O. Safonov
QUICK ADD
Using Aspect-Oriented…
by Vladimir O. Safonov
#5 in Series
Hardcover $149.95

Pagination Links