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: Cleanroom Software Engineering: A Reader / Edition 1, Author: Jesse Poore
Title: Unit Testing in Java: How Tests Drive the Code, Author: Johannes Link
Title: Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers / Edition 1, Author: Renï Alt
Title: Software Reliability Methods / Edition 1, Author: Doron A. Peled
Title: Mathematical Approaches to Software Quality / Edition 1, Author: Gerard O'Regan
Title: Temporal Verification of Reactive Systems: Safety / Edition 1, Author: Zohar Manna
Title: Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings / Edition 1, Author: Barbara Paech
Title: System Software Reliability / Edition 1, Author: Hoang Pham
Title: How to Break Software: A Practical Guide to Testing / Edition 1, Author: James Whittaker
Other Format from $82.73 $106.39 Current price is $82.73, Original price is $106.39.
Title: Successful Test Management: An Integral Approach / Edition 1, Author: Iris Pinkster
Title: Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings / Edition 1, Author: Keith Hardy
Title: Agile Testing: How to Succeed in an Extreme Testing Environment / Edition 1, Author: John Watkins
Title: Identifying Relevant Information for Testing Technique Selection: An Instantiated Characterization Schema / Edition 1, Author: Sira Vegas
Title: Exploratory Software Testing: Tips, Tricks, Tours, and Techniques to Guide Test Design / Edition 1, Author: James Whittaker
Title: Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code / Edition 1, Author: Bill Blunden
Title: Software Quality Assurance: In Large Scale and Complex Software-intensive Systems, Author: Ivan Mistrik
Title: Tru64 UNIX Troubleshooting: Diagnosing and Correcting System Problems, Author: Martin Moore
Title: Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / Edition 1, Author: Shmuel Ur
Title: Power and Performance: Software Analysis and Optimization, Author: Jim Kukunas

Pagination Links