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 Reliability and Metrics / Edition 1, Author: N. Fenton
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 Complexity: Measures and Methods, Author: Horst Zuse
Title: Software Reliability Handbook / Edition 1, Author: Rook
Title: Measurement for Software Control and Assurance / Edition 1, Author: B.A. Kitchenham
Title: Software Reliability Modelling and Identification / Edition 1, Author: Sergio Bittanti
Title: Achieving Safety and Reliability with Computer Systems / Edition 1, Author: B.K. Daniels
Title: Testing in Software Development, Author: Martyn A. Ould
Title: An Introduction to the PL/CV2 Programming Logic, Author: R. L. Constable
Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
Title: Compiler Specification and Verification, Author: W. Polak
Title: Test Examples for Nonlinear Programming Codes, Author: W. Hock

Pagination Links