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: Software Defect and Operational Profile Modeling / Edition 1, Author: Kai-Yuan Cai
Title: Communication Protocol Specification and Verification / Edition 1, Author: Richard Lai
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 Reliability Handbook / Edition 1, Author: Rook
Title: Fundamentals Of Software Integration / Edition 1, Author: Kay Hammer
Title: Fundamentals of Software Testing / Edition 1, Author: Bernard Homès
Title: Software Quality Assurance: Integrating Testing, Security, and Audit / Edition 1, Author: Abu Sayed Mahfuz
Title: Software Deployment, Updating, and Patching / Edition 1, Author: Bill Stackpole
Title: Software Performability: From Concepts to Applications / Edition 1, Author: Ann T. Tai
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: Mutation Testing for the New Century / Edition 1, Author: W. Eric Wong
Title: Introduction to Fuzzy Reliability / Edition 1, Author: Kai-Yuan Cai
Title: High Integrity Software / Edition 1, Author: Victor L. Winter
Title: Open Verification Methodology Cookbook / Edition 1, Author: Mark Glasser
Title: Embedded Processor-Based Self-Test / Edition 1, Author: Dimitris Gizopoulos

Pagination Links