161- 180 of 195 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings / Edition 1, Author: Udo Voges
QUICK ADD
Computer Safety, Reliability…
by Udo Voges
#2187 in Series
Paperback $54.99
Title: Requirements Engineering: Foundation for Software Quality: 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings / Edition 1, Author: Pete Sawyer
QUICK ADD
Requirements Engineering:…
by Pete Sawyer, Barbara Paech, Patrick Heymans
#4542 in Series
Paperback $54.99
Title: Software Process Improvement: 11th European Conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004. Proceedings / Edition 1, Author: T. Dingsïyr
QUICK ADD
Software Process Improvement:…
by T. Dingsïyr
#3281 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
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 Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings / Edition 1, Author: Albert Llamosi
QUICK ADD
Reliable Software Technologies…
by Albert Llamosi, Alfred Strohmeier
#3063 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: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings / Edition 1, Author: Thomas Ball
QUICK ADD
Model Checking Software: 10th…
by Thomas Ball, Sriram K. Rajamani
#2648 in Series
Paperback $54.99
Title: Objective Software Quality: Objective Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria Florence, Italy, May 29- 31, 1995. Proceedings / Edition 1, Author: Paolo Nesi
QUICK ADD
Objective Software Quality:…
by Paolo Nesi
#926 in Series
Paperback $54.99
Title: Expert .NET Delivery Using NAnt and CruiseControl.NET / Edition 1, Author: Josh Holmes
QUICK ADD
Expert .NET Delivery Using…
by Josh Holmes
Explore Series
Hardcover $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, Klaus Havelund
#8413 in Series
Paperback $54.99
Title: Designing Maintainable Software / Edition 1, Author: Dennis D. Smith
QUICK ADD
Designing Maintainable…
by Dennis D. Smith
Hardcover $54.99
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software / Edition 1, Author: Reinhold Ploesch
QUICK ADD
Contracts, Scenarios and…
by Reinhold Ploesch
Hardcover $54.99
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 / Edition 1, Author: Bert Didier
QUICK ADD
B'98: Recent Advances in the…
by Bert Didier
#1393 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 / 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: The Testing Network: An Integral Approach to Test Activities in Large Software Projects / Edition 1, Author: Jean-Jacques Pierre Henry
QUICK ADD
The Testing Network: An…
by Jean-Jacques Pierre Henry
Hardcover $54.99
Title: Software Reliability Methods / Edition 1, Author: Doron A. Peled
QUICK ADD
Software Reliability Methods /…
by Doron A. Peled, E.M. Clarke
Explore Series
Paperback $54.99
Title: ISO 9000-3: A Tool for Software Product and Process Improvement / Edition 1, Author: Raymond Kehoe
QUICK ADD
ISO 9000-3: A Tool for…
by Raymond Kehoe, Alka Jarvis
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: Software Verification and Analysis: An Integrated, Hands-On Approach / Edition 1, Author: Janusz Laski
QUICK ADD
Software Verification and…
by Janusz Laski, William Stanley
Hardcover $54.99

Pagination Links