50% Off The Criterion Collection Shop Now
41- 60 of 195 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings / Edition 1, Author: Hubertus B. Keller
QUICK ADD
Reliable Software Technologies…
by Hubertus B. Keller, Erhard Plïdereder
#1845 in Series
Paperback $54.99
Title: Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings / Edition 1, Author: Warren A. Hunt
QUICK ADD
Computer Aided Verification:…
by Warren A. Hunt, Jr., Fabio Somenzi
#2725 in Series
Paperback $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
Hardcover $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: Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings / Edition 1, Author: Keith Hardy
QUICK ADD
Reliable Software Technologies…
by Keith Hardy, Jim Briggs
#1251 in Series
Paperback $54.99
Title: Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism / Edition 1, Author: Josyula R. Rao
QUICK ADD
Extensions of the UNITY…
by Josyula R. Rao
#908 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: 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: 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: 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: 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: 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: 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: Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers / Edition 1, Author: Martin Leucker
QUICK ADD
Runtime Verification: 8th…
by Martin Leucker
#5289 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: 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: Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings / Edition 1, Author: Alfred Strohmeier
QUICK ADD
Reliable Software Technologies…
by Alfred Strohmeier
#1088 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: 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: 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

Pagination Links