1- 20 of 175 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: 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: 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: 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: 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
Title: Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26, Author: Lubos Brim
QUICK ADD
Formal Methods: Applications…
by Lubos Brim (Editor), Boudewijn Haverkort (Editor), Martin Leucker (Editor), Jaco van de Pol (Editor)
#4346 in Series
Paperback $54.99
Title: Development and Evolution of Software Architectures for Product Families: Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998, Proceedings, Author: Frank van der Linden
QUICK ADD
Development and Evolution of…
by Frank van der Linden (Editor)
#1429 in Series
Paperback $54.99
Title: Software Quality Assurance: Integrating Testing, Security, and Audit, Author: Abu Sayed Mahfuz
QUICK ADD
Software Quality Assurance:…
by Abu Sayed Mahfuz
Explore Series
Paperback $54.99
Title: Model-Based Testing of Reactive Systems: Advanced Lectures, Author: Manfred Broy
QUICK ADD
Model-Based Testing of…
by Manfred Broy (Editor), Bengt Jonsson (Editor), Joost-Pieter Katoen (Editor), Martin Leucker (Editor), Alexander Pretschner (Editor)
#3472 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: Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers, Author: Rocco De Nicola
QUICK ADD
Trustworthy Global Computing:…
by Rocco De Nicola (Editor), Davide Sangiorgi (Editor)
#3705 in Series
Paperback $54.99
Title: Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers, Author: Doron A. Peled
QUICK ADD
Model Checking and Artificial…
by Doron A. Peled (Editor), Michael Wooldridge (Editor)
#5348 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: 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: Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings, Author: David Kaeli
QUICK ADD
Computer Performance…
by David Kaeli (Editor)
#5419 in Series
Paperback $54.99
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

Pagination Links