21- 40 of 100 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
QUICK ADD
Computer-Aided Verification: A…
by Robert Kurshan (Editor)
Explore Series
Hardcover $169.99
Title: Mutation Testing for the New Century, Author: W. Eric Wong
QUICK ADD
Mutation Testing for the New…
by W. Eric Wong (Editor)
#24 in Series
Hardcover $169.99
Title: High Integrity Software, Author: Victor L. Winter
QUICK ADD
High Integrity Software
by Victor L. Winter (Editor), Sourav Bhattacharya (Editor)
#577 in Series
Hardcover $169.99
Title: Embedded Processor-Based Self-Test, 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, 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: Open Verification Methodology Cookbook, Author: Mark Glasser
QUICK ADD
Open Verification Methodology…
by Mark Glasser
Hardcover $169.99
Title: Introduction to Fuzzy Reliability, Author: Kai-Yuan Cai
QUICK ADD
Introduction to Fuzzy…
by Kai-Yuan Cai
#363 in Series
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, Author: Dimitris Gritzalis
QUICK ADD
Reliability, Quality and…
by Dimitris Gritzalis
Explore Series
Hardcover $169.99
Title: Software-Implemented Hardware Fault Tolerance, Author: Olga Goloubeva
QUICK ADD
Software-Implemented Hardware…
by Olga Goloubeva, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante
Hardcover $169.99
Title: International IT Regulations and Compliance: Quality Standards in the Pharmaceutical and Regulated Industries, Author: Siri H. Segalstad
QUICK ADD
International IT Regulations…
by Siri H. Segalstad
Hardcover $169.95
Title: Quality of Numerical Software: Assessment and enhancement, Author: Ronald F. Boisvert
QUICK ADD
Quality of Numerical Software:…
by Ronald F. Boisvert (Editor)
Explore Series
Hardcover $169.00
Title: Fundamentals of Software Testing, Author: Bernard Homès
QUICK ADD
Fundamentals of Software…
by Bernard Homès
Hardcover $165.00
Title: Software Testing and Continuous Quality Improvement, Author: William E. Lewis
QUICK ADD
Software Testing and…
by William E. Lewis
Hardcover $160.00
Title: Effective Software Maintenance and Evolution: A Reuse-Based Approach, Author: Stanislaw Jarzabek
QUICK ADD
Effective Software Maintenance…
by Stanislaw Jarzabek
Hardcover $160.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, Author: B. Berard
QUICK ADD
Systems and Software…
by B. Berard, P. McKenzie (Translator), M. Bidoit, A. Finkel, F. Laroussinie
Hardcover $159.99
Title: Cyber-Risk Informatics: Engineering Evaluation with Data Science, 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, Author: Kshirasagar Naik
QUICK ADD
Software Testing and Quality…
by Kshirasagar Naik, Priyadarshi Tripathy
Explore Series
Hardcover $152.95
Title: The ASQ Certified Software Quality Engineer Handbook, Author: Linda Vogelsong Westfall
QUICK ADD
The ASQ Certified Software…
by Linda Vogelsong Westfall
Hardcover $150.00

Pagination Links