Title: Practical Guide To Software Quality Management, Author: John W. Horch
Title: Software Change Impact Analysis, Author: Robert Arnold
Title: Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings, Author: Alfred Strohmeier
Title: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, Author: Patrice Godefroid
Title: Software Reliability and Testing, Author: Hoang Pham
Title: Objective Software Quality: Objective Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria Florence, Italy, May 29- 31, 1995. Proceedings, Author: Paolo Nesi
Title: Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism, Author: Josyula R. Rao
Title: Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Link�ping, Sweden, May 3-5, 1993. Proceedings, Author: Peter A. Fritzson
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 Modelling and Identification, Author: Sergio Bittanti
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