Title: Program Verification: Fundamental Issues in Computer Science / Edition 1, Author: Timothy T.R. Colburn
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods / Edition 1, Author: Willem-Paul de Roever
Title: EU Annex 11 Guide to Computer Validation Compliance for the Worldwide Health Agency GMP / Edition 1, Author: Orlando Lopez
Title: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice / Edition 1, Author: Anca Vermesan
Title: Measurement for Software Control and Assurance / Edition 1, Author: B.A. Kitchenham
Title: Software Reliability and Metrics / Edition 1, Author: N. Fenton
Title: Software Defect and Operational Profile Modeling / Edition 1, Author: Kai-Yuan Cai
Title: Software Reliability Handbook / Edition 1, Author: Rook
Title: Communication Protocol Specification and Verification / Edition 1, Author: Richard Lai
Title: Fundamentals Of Software Integration / Edition 1, Author: Kay Hammer
Title: Fundamentals of Software Testing / Edition 1, Author: Bernard Homès
Title: Software Deployment, Updating, and Patching / Edition 1, Author: Bill Stackpole
Title: Software Quality Assurance: Integrating Testing, Security, and Audit / Edition 1, Author: Abu Sayed Mahfuz
Title: High Integrity Software / Edition 1, Author: Victor L. Winter
Title: Introduction to Fuzzy Reliability / Edition 1, Author: Kai-Yuan Cai
Title: Advanced Techniques for Embedded Systems Design and Test / Edition 1, Author: Juan C. Lïpez
Title: The Core Test Wrapper Handbook: Rationale and Application of IEEE Std. 1500T / Edition 1, Author: Francisco da Silva
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: Achieving Safety and Reliability with Computer Systems / Edition 1, Author: B.K. Daniels
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

Pagination Links