Title: Systems and Software Verification: Model-Checking Techniques and Tools / Edition 1, Author: B. Berard
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: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever
Title: Software Testing: Interview Questions, Author: S. Koirala
Title: Quality of Numerical Software: Assessment and enhancement / Edition 1, Author: Ronald F. Boisvert
Title: International IT Regulations and Compliance: Quality Standards in the Pharmaceutical and Regulated Industries / Edition 1, Author: Siri H. Segalstad
Title: Open Verification Methodology Cookbook / Edition 1, Author: Mark Glasser
Title: Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005 / Edition 1, Author: Felix Redmill
Title: High Integrity Software / Edition 1, Author: Victor L. Winter
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: Introduction to Fuzzy Reliability / Edition 1, Author: Kai-Yuan Cai
Title: Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004 / Edition 1, Author: Felix Redmill
Title: Embedded Processor-Based Self-Test / Edition 1, Author: Dimitris Gizopoulos
Title: Software Performability: From Concepts to Applications / Edition 1, Author: Ann T. Tai
Title: The Core Test Wrapper Handbook: Rationale and Application of IEEE Std. 1500T / Edition 1, Author: Francisco da Silva
Title: Embedded Processor-Based Self-Test / Edition 1, Author: Dimitris Gizopoulos
Title: Advanced Techniques for Embedded Systems Design and Test / Edition 1, Author: Juan C. Lïpez
Title: Mutation Testing for the New Century / Edition 1, Author: W. Eric Wong
Title: Achieving Safety and Reliability with Computer Systems / Edition 1, Author: B.K. Daniels
Title: Mutation Testing for the New Century / Edition 1, Author: W. Eric Wong

Pagination Links