Title: Verification and Validation for Quality of UML 2.0 Models / Edition 1, Author: Bhuvan Unhelkar
Title: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice / Edition 1, Author: Anca Vermesan
Title: Using Aspect-Oriented Programming for Trustworthy Software Development / Edition 1, Author: Vladimir O. Safonov
Title: Upgrading and Troubleshooting Your Mac, Author: Gene Steinberg
Title: Unit Testing Principles, Practices, and Patterns: Effective testing styles, patterns, and reliable automation for unit testing, mocking, and integration testing with examples in C#, Author: Vladimir Khorikov
Title: Unit Testing Principles, Practices, and Patterns, Author: Vladimir Khorikov
Title: Unit Testing in Java: How Tests Drive the Code, Author: Johannes Link
Title: Unit Testing in Java: How Tests Drive the Code, Author: Johannes Link
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: UFT/QTP Interview Unplugged: And I thought I knew UFT!, Author: Manika Garg
Title: Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, Author: Gilles Barthe
Title: Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / Edition 1, Author: Rocco De Nicola
Title: Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, Author: Martín Abadi
Title: Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, Author: Martín Abadi
Title: Trust in Technology: A Socio-Technical Perspective / Edition 1, Author: Karen Clarke
Title: Tru64 UNIX Troubleshooting: Diagnosing and Correcting System Problems, Author: Martin Moore
Title: Tru64 UNIX Troubleshooting: Diagnosing and Correcting System Problems, Author: Martin Moore
Title: Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Erika Abraham
Title: Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings, Author: Matti Jarvisalo
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

Pagination Links