321- 340 of 1428 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Reliable Software Technologies - Ada-Europe '99: 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, Author: Michael Gonzalez Harbour
QUICK ADD
Reliable Software Technologies…
by Michael Gonzalez Harbour (Editor), Juan A. de la Puente (Editor)
#1622 in Series
Paperback $54.99
Title: SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings, Author: Klaus Havelund
QUICK ADD
SPIN Model Checking and…
by Klaus Havelund (Editor), John Penix (Editor), Willem Visser (Editor)
#1885 in Series
Paperback $54.99
Title: Software Process Improvement: 11th European Conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004. Proceedings, Author: T. Dingsøyr
QUICK ADD
Software Process Improvement:…
by T. Dingsøyr (Editor)
#3281 in Series
Paperback $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, Author: Bert Didier
QUICK ADD
B'98: Recent Advances in the…
by Bert Didier (Editor)
#1393 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
Title: Requirements Engineering: Foundation for Software Quality: 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings, Author: Pete Sawyer
QUICK ADD
Requirements Engineering:…
by Pete Sawyer (Editor), Barbara Paech (Editor), Patrick Heymans (Editor)
#4542 in Series
Paperback $54.99
Title: Service Availability: Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers, Author: Miroslaw Malek
QUICK ADD
Service Availability: Second…
by Miroslaw Malek (Editor), Edgar Nett (Editor), Neeraj Suri (Editor)
#3694 in 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: The Renaissance of Legacy Systems: Method Support for Software-System Evolution, Author: Ian Warren
QUICK ADD
The Renaissance of Legacy…
by Ian Warren, D. Avallone (Contribution by), M. Breuer (Contribution by), J. Favaro (Contribution by), J. Ransom (Contribution by)
Explore Series
Paperback $54.99
Title: Software Reliability Methods, Author: Doron A. Peled
QUICK ADD
Software Reliability Methods
by Doron A. Peled, E.M. Clarke (Foreword by)
Explore Series
Hardcover $54.99
Title: Managing Software Quality: A Measurement Framework for Assessment and Prediction, Author: Richard E. Nance
QUICK ADD
Managing Software Quality: A…
by Richard E. Nance, James D. Arthur
Explore 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, Author: Keith Hardy
QUICK ADD
Reliable Software Technologies…
by Keith Hardy (Editor), Jim Briggs (Editor)
#1251 in Series
Paperback $54.99
Title: Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers, Author: Martin Leucker
QUICK ADD
Runtime Verification: 8th…
by Martin Leucker (Editor)
#5289 in Series
Paperback $54.99
Title: Software Quality - ECSQ 2002: Quality Connection - 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002. Proceedings, Author: Jyrki Kontio
QUICK ADD
Software Quality - ECSQ 2002:…
by Jyrki Kontio (Editor), Reidar Conradi (Editor)
#2349 in Series
Paperback $54.99
Title: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, Author: Patrice Godefroid
QUICK ADD
Partial-Order Methods for the…
by Patrice Godefroid (Editor)
#1032 in Series
Paperback $54.99
Title: The Testing Network: An Integral Approach to Test Activities in Large Software Projects, Author: Jean-Jacques Pierre Henry
QUICK ADD
The Testing Network: An…
by Jean-Jacques Pierre Henry
Hardcover $54.99
Title: Software Quality and Software Testing in Internet Times, Author: Dirk Meyerhoff
QUICK ADD
Software Quality and Software…
by Dirk Meyerhoff (Editor), Begona Laibarra (Editor), Rob van der Pouw Kraan (Editor), Alan Wallet (Editor)
eBook $54.99
Title: Rigorous Development of Complex Fault-Tolerant Systems, Author: Michael Butler
QUICK ADD
Rigorous Development of…
by Michael Butler (Editor), Cliff Jones (Editor), Alexander Romanovsky (Editor), Elena Troubitsyna (Editor)
#4157 in Series
Paperback $54.99
Title: Component-Based Software Testing with UML, Author: Hans-Gerhard Gross
QUICK ADD
Component-Based Software…
by Hans-Gerhard Gross
Hardcover $54.99
Title: Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings, Author: Maritta Heisel
QUICK ADD
Computer Safety, Reliability,…
by Maritta Heisel (Editor), Peter Liggesmeyer (Editor), Stefan Wittmann (Editor)
#3219 in Series
Paperback $54.99

Pagination Links