Title: Test Examples for Nonlinear Programming Codes, Author: W. Hock
Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
Title: An Introduction to the PL/CV2 Programming Logic, Author: R. L. Constable
Title: Achieving Safety and Reliability with Computer Systems / Edition 1, Author: B.K. Daniels
Title: Software Reliability Modelling and Identification / Edition 1, Author: Sergio Bittanti
Title: Measurement for Software Control and Assurance / Edition 1, Author: B.A. Kitchenham
Title: Software Reliability Handbook / Edition 1, Author: Rook
Title: Software Complexity: Measures and Methods, Author: Horst Zuse
Title: Reliability and Robustness of Engineering Software II: Proceedings of the Second International Conference held in Milan, Italy, during 22-24 April 1991, Author: C.A. Brebbia
Title: Software Reliability and Metrics / Edition 1, Author: N. Fenton
Title: Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991, Author: Tim Denvir
Title: Software Failure Risk: Measurement and Management, Author: S. A. Sherer
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
Title: Program Verification: Fundamental Issues in Computer Science / Edition 1, Author: Timothy T.R. Colburn
Title: The Testability of Distributed Real-Time Systems / Edition 1, Author: Werner Schütz
Title: Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Link�ping, Sweden, May 3-5, 1993. Proceedings, Author: Peter A. Fritzson
Title: Reliability of Software Intensive Systems, Author: Michael A. Friedman
Title: Software Quality Control, Error, Analysis, Author: Judith Clapp
Title: Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism / Edition 1, Author: Josyula R. Rao
Title: Objective Software Quality: Objective Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria Florence, Italy, May 29- 31, 1995. Proceedings / Edition 1, Author: Paolo Nesi

Pagination Links