41- 60 of 104 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Service Availability: 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings / Edition 1, Author: Miroslaw Malek
QUICK ADD
Service Availability: 4th…
by Miroslaw Malek, Manfred Reitenspieß, Aad van Moorsel
#4526 in Series
Paperback $54.99
Title: Software Testing and Analysis: Process, Principles and Techniques / Edition 1, Author: Mauro Pezze
QUICK ADD
Software Testing and Analysis:…
by Mauro Pezze, Michal Young
Paperback $129.75
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 / Edition 1, Author: Lubos Brim
QUICK ADD
Formal Methods: Applications…
by Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
#4346 in Series
Paperback $54.99
Title: Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers / Edition 1, Author: Eyal Bin
QUICK ADD
Hardware and Software,…
by Eyal Bin, Avi Ziv, Shmuel Ur
#4383 in Series
Paperback $54.99
Title: If I Only Changed the Software, Why is the Phone on Fire?: Embedded Debugging Methods Revealed: Technical Mysteries for Engineers, Author: Lisa K. Simone
QUICK ADD
If I Only Changed the Software…
by Lisa K. Simone
Paperback $51.95
Title: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / Edition 1, Author: Thomas Ball
QUICK ADD
Computer Aided Verification:…
by Thomas Ball, Robert B. Jones
#4144 in Series
Paperback $109.99
Title: Writing Scientific Software: A Guide to Good Style, Author: Suely Oliveira
QUICK ADD
Writing Scientific Software: A…
by Suely Oliveira, David E. Stewart
Paperback $68.99
Title: Developments in Risk-based Approaches to Safety: Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006 / Edition 1, Author: Felix Redmill
QUICK ADD
Developments in Risk-based…
by Felix Redmill, Safety-Critical Systems Club, Tom Anderson
Paperback $109.99
Title: Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / Edition 1, Author: Shmuel Ur
QUICK ADD
Hardware and Software,…
by Shmuel Ur, Eyal Bin, Yaron Wolfsthal
#3875 in Series
Paperback $54.99
Title: Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / Edition 1, Author: Rocco De Nicola
QUICK ADD
Trustworthy Global Computing:…
by Rocco De Nicola, Davide Sangiorgi
#3705 in Series
Paperback $54.99
Title: Software Process Improvement: 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings / Edition 1, Author: Ita Richardson
QUICK ADD
Software Process Improvement:…
by Ita Richardson, Pekka Abrahamsson, Richard Messnarz
#3792 in Series
Paperback $54.99
Title: Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings / Edition 1, Author: Rune Winther
QUICK ADD
Computer Safety, Reliability,…
by Rune Winther, Bjoern Axel Gran, Gustav Dahll
#3688 in Series
Paperback $54.99
Title: Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedi / Edition 1, Author: Ralf H. Reussner
QUICK ADD
Quality of Software…
by Ralf H. Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker
#3712 in Series
Paperback $54.99
Title: Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings / Edition 1, Author: Patrick Godefroid
QUICK ADD
Model Checking Software: 12th…
by Patrick Godefroid
#3639 in Series
Paperback $54.99
Title: Model-Based Testing of Reactive Systems: Advanced Lectures / Edition 1, Author: Manfred Broy
QUICK ADD
Model-Based Testing of…
by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
#3472 in Series
Paperback $54.99
Title: Reliable Software Technology - Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings / Edition 1, Author: Tullio Vardanega
QUICK ADD
Reliable Software Technology -…
by Tullio Vardanega, Andy Wellings
#3555 in Series
Paperback $54.99
Title: Fit for Developing Software: Framework for Integrated Tests / Edition 1, Author: Rick Mugridge
QUICK ADD
Fit for Developing Software:…
by Rick Mugridge, Ward Cunningham
Explore Series
Paperback $86.44
Title: Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005 / Edition 1, Author: Felix Redmill
QUICK ADD
Constituents of Modern…
by Felix Redmill, Tom Anderson
Paperback $169.99
Title: Service Availability: First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers / Edition 1, Author: Miroslaw Malek
QUICK ADD
Service Availability: First…
by Miroslaw Malek, Manfred Reitenspieß, Jörg Kaiser
#3335 in Series
Paperback $54.99
Title: Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings / Edition 1, Author: Maritta Heisel
QUICK ADD
Computer Safety, Reliability,…
by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann
#3219 in Series
Paperback $54.99

Pagination Links