1- 20 of 172 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Model-Based Software Testing and Analysis with C#, Author: Jonathan Jacky
QUICK ADD
Model-Based Software Testing…
by Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
Paperback $51.00
Title: Test Automation: A Manager's Guide, Author: Boby Jose
QUICK ADD
Test Automation: A Manager's…
by Boby Jose
Paperback $51.99
Title: Pragmatic Software Testing: Becoming an Effective and Efficient Test Professional, Author: Rex Black
QUICK ADD
Pragmatic Software Testing:…
by Rex Black
Paperback $52.00
Title: Your Code as a Crime Scene, Second Edition: Use Forensic Techniques to Arrest Defects, Bottlenecks, and Bad Design in Your Programs, Author: Adam Tornhill
QUICK ADD
Your Code as a Crime Scene,…
by Adam Tornhill
Paperback $53.95
Title: Advanced Software Testing - Vol. 1, 2nd Edition: Guide to the ISTQB Advanced Certification as an Advanced Test Analyst, Author: Rex Black
QUICK ADD
Advanced Software Testing -…
by Rex Black
Paperback $54.95
Title: Software Testing: A Self-Teaching Introduction, Author: Rajiv Chopra
QUICK ADD
Software Testing: A…
by Rajiv Chopra
Paperback $54.95
Title: Kanban: Successful Evolutionary Change for your Technology Business: Successful Evolutionary Change for your Technology Business, Author: David J Anderson
QUICK ADD
Kanban: Successful…
by David J Anderson
Paperback $54.95
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction, Author: Markus Müller-Olm
QUICK ADD
Modular Compiler Verification:…
by Markus Müller-Olm
#1283 in Series
Paperback $54.99
Title: Service Availability: Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers, Author: Dave Penkler
QUICK ADD
Service Availability: Third…
by Dave Penkler (Editor), Manfred Reitenspiess (Editor), Francis Tam (Editor)
#4328 in Series
Paperback $54.99
Title: Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, Author: Patrick Godefroid
QUICK ADD
Model Checking Software: 12th…
by Patrick Godefroid (Editor)
#3639 in Series
Paperback $54.99
Title: Lessons in System Safety: Proceedings of the Eighth Safety-critical Systems Symposium, Southampton, UK 2000, Author: Felix Redmill
QUICK ADD
Lessons in System Safety:…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $54.99
Title: Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings, Author: Dragan Bosnacki
QUICK ADD
Model Checking Software: 9th…
by Dragan Bosnacki (Editor), Stefan Leue (Editor)
#2318 in Series
Paperback $54.99
Title: Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings, Author: Floor Koornneef
QUICK ADD
Computer Safety, Reliability,…
by Floor Koornneef (Editor), Meine van der Meulen (Editor)
#1943 in Series
Paperback $54.99
Title: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, Author: Thomas Ball
QUICK ADD
Model Checking Software: 10th…
by Thomas Ball (Editor), Sriram K. Rajamani (Editor)
#2648 in Series
Paperback $54.99
Title: Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, Author: Warren A. Hunt
QUICK ADD
Computer Aided Verification:…
by Warren A. Hunt, Jr. (Editor), Fabio Somenzi (Editor)
#2725 in Series
Paperback $54.99
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
QUICK ADD
Tools and Algorithms for the…
by Erika Abraham (Editor), Klaus Havelund (Editor)
#8413 in Series
Paperback $54.99
Title: Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings, Author: Hubertus B. Keller
QUICK ADD
Reliable Software Technologies…
by Hubertus B. Keller (Editor), Erhard Plödereder (Editor)
#1845 in Series
Paperback $54.99
Title: NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings, Author: Mihaela Bobaru
QUICK ADD
NASA Formal Methods: Third…
by Mihaela Bobaru (Editor), Klaus Havelund (Editor), Gerard Holzmann (Editor), Rajeev Joshi (Editor)
#6617 in Series
Paperback $54.99
Title: Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers, Author: Olivier Danvy
QUICK ADD
Partial Evaluation:…
by Olivier Danvy (Editor), Robert Glück (Editor), Peter Thiemann (Editor)
#1110 in Series
Paperback $54.99
Title: Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings, Author: Udo Voges
QUICK ADD
Computer Safety, Reliability…
by Udo Voges (Editor)
#2187 in Series
Paperback $54.99

Pagination Links