Title: Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings / Edition 1, Author: Lars Asplund
Title: Software Testing and Quality Assurance: Theory and Practice / Edition 1, Author: Kshirasagar Naik
Title: Software Error Detection through Testing and Analysis / Edition 1, Author: J. C. Huang
Title: Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / Edition 1, Author: Alan J. Hu
Title: Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings / Edition 1, Author: Dennis Dams
Title: Quality of Numerical Software: Assessment and enhancement / Edition 1, Author: Ronald F. Boisvert
Title: Pragmatic Software Testing: Becoming an Effective and Efficient Test Professional / Edition 1, Author: Rex Black
Title: Practical Guide To Software Quality Management / Edition 1, Author: John W. Horch
Title: Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings / Edition 1, Author: Hubertus B. Keller
Title: Practical Guide To Software Quality Management / Edition 2, Author: John W. Horch
Title: Software Engineering: A Methodical Approach, Author: Elvis Foster
Title: Agile Testing: How to Succeed in an Extreme Testing Environment, Author: John Watkins
Title: B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings / Edition 1, Author: Bert Didier
Title: Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers / Edition 1, Author: Doron A. Peled
Title: Trust in Technology: A Socio-Technical Perspective / Edition 1, Author: Karen Clarke
Title: ISO 9000-3: A Tool for Software Product and Process Improvement / Edition 1, Author: Raymond Kehoe
Title: Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / Edition 1, Author: Rajeev Alur
Title: Component-Based Software Testing with UML, Author: Hans-Gerhard Gross
Title: The Testing Network: An Integral Approach to Test Activities in Large Software Projects / Edition 1, Author: Jean-Jacques Pierre Henry
Title: Testing Object-Oriented Software: Life Cycle Solutions / Edition 1, Author: Imran Bashir

Pagination Links