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: An Introduction to the PL/CV2 Programming Logic, Author: R. L. Constable
Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
Title: Test Examples for Nonlinear Programming Codes, Author: W. Hock

Pagination Links