Title: Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, Author: Antti Valmari
Title: 21 CFR Part 11: Complete Guide to International Computer Validation Compliance for the Pharmaceutical Industry, Author: Orlando López
Title: Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers, Author: Rocco De Nicola
Title: Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, Author: Dragan Bosnacki
Title: Clean Code Cookbook: Recipes to Improve the Design and Quality of your Code, Author: Maximiliano Contieri
Title: Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings, Author: Albert Llamosi
Title: SPICE: The Theory and Practice of Software Process Improvement and Capability Determination, Author: Khaled El Emam
Title: Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings, Author: Lars Asplund
Title: The Testability of Distributed Real-Time Systems, Author: Werner Schütz
Title: Service Availability: Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers, Author: Miroslaw Malek
Title: A Guide to Software Quality Engineering, Author: Shravan Pargaonkar
Title: Patterns for Performance and Operability: Building and Testing Enterprise Software, Author: Chris Ford
Title: Testing R Code, Author: Richard Cotton
Explore Series
Title: Testing Object-Oriented Software: Life Cycle Solutions, Author: Imran Bashir
Title: Delivering Successful Projects with TSP(SM) and Six Sigma: A Practical Guide to Implementing Team Software Process(SM), Author: Mukesh Jain
Title: Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings, Author: Peter A. Fritzson
Title: Advances in Computers: Quality Software Development, Author: MS Zelkowitz Ph.D.
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction, Author: Markus Müller-Olm
Title: Data Flow Analysis: Theory and Practice, Author: Uday Khedker
Title: Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997, Author: Felix Redmill

Pagination Links