Title: Model-Based Software Testing and Analysis with C# / Edition 1, Author: Jonathan Jacky
Title: Pragmatic Software Testing: Becoming an Effective and Efficient Test Professional / Edition 1, Author: Rex Black
Title: Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers / Edition 1, Author: Eyal Bin
Title: NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings / Edition 1, Author: Mihaela Bobaru
Title: SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings / Edition 1, Author: Klaus Havelund
Title: Designing Maintainable Software / Edition 1, Author: Dennis D. Smith
Title: Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings / Edition 1, Author: Stuart Anderson
Title: Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings / Edition 1, Author: Udo Voges
Title: Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 / Edition 1, Author: John Hatcliff
Title: Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings / Edition 1, Author: Susanne Graf
Title: Expert .NET Delivery Using NAnt and CruiseControl.NET / Edition 1, Author: Josh Holmes
Title: Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers / Edition 1, Author: Olivier Danvy
Title: Software Reliability Methods / Edition 1, Author: Doron A. Peled
Title: Component-Based Software Testing with UML / Edition 1, Author: Hans-Gerhard Gross
Title: Designing Maintainable Software / Edition 1, Author: Dennis D. Smith
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: Service Availability: First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers / Edition 1, Author: Miroslaw Malek
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: 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: Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings / Edition 1, Author: Hubertus B. Keller

Pagination Links