Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
Title: Embedded Processor-Based Self-Test / Edition 1, Author: Dimitris Gizopoulos
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
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
Title: International IT Regulations and Compliance: Quality Standards in the Pharmaceutical and Regulated Industries / Edition 1, Author: Siri H. Segalstad
Title: Quality of Numerical Software: Assessment and enhancement / Edition 1, Author: Ronald F. Boisvert
Title: Software Testing: Interview Questions, Author: S. Koirala
Title: Software Testing: Interview Questions, Author: S. Koirala
Title: Effective Software Maintenance and Evolution: A Reuse-Based Approach, Author: Stanislaw Jarzabek
Title: Software Testing and Continuous Quality Improvement / Edition 3, Author: William E. Lewis
Hardcover from $124.43 $160.00 Current price is $124.43, Original price is $160.00.
Title: Effective Software Maintenance and Evolution: A Reuse-Based Approach, Author: Stanislaw Jarzabek
Title: Software Testing and Continuous Quality Improvement, Author: William E. Lewis
Title: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever
Title: The Debugger's Handbook, Author: J.F. DiMarzio
Title: Curing the Patch Management Headache, Author: Felicia M. Wetter
Title: Systems and Software Verification: Model-Checking Techniques and Tools / Edition 1, Author: B. Berard
Title: Systems and Software Verification: Model-Checking Techniques and Tools / Edition 1, Author: B. Berard
Title: Cyber-Risk Informatics: Engineering Evaluation with Data Science / Edition 1, Author: Mehmet Sahinoglu
Title: Software Testing for Conventional and Logic Programming, Author: Oliver Jack
Title: Medical Device Software Verification, Validation and Compliance, Author: David A. Vogel

Pagination Links