Title: Service Availability: First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers, Author: Miroslaw Malek
Title: Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings, Author: Stuart Anderson
Title: Unifying the Software Process Spectrum: International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers, Author: Mingshu Li
Title: Reliable Software Technologies - Ada-Europe '99: 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, Author: Michael Gonzalez Harbour
Title: Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998, Author: Felix Redmill
Title: Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers, Author: Robert M. Hierons
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, Author: Bert Didier
Title: Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings, Author: Matti Jarvisalo
Title: An Introduction to the PL/CV2 Programming Logic, Author: R. L. Constable
Title: Verification and Validation of Real-Time Software, Author: William J. Quirk
Title: Practical Software Maintenance: Best Practices for Managing Your Software Investment, Author: Thomas M. Pigoski
Title: Software Quality - ECSQ 2002: Quality Connection - 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002. Proceedings, Author: Jyrki Kontio
Title: iOS and macOS Performance Tuning: Cocoa, Cocoa Touch, Objective-C, and Swift, Author: Marcel Weiher
Title: Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, Author: Martín Abadi
Title: Software Testing: A Self-Teaching Introduction, Author: Rajiv Chopra

Pagination Links