221- 240 of 542 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings, Author: Dragan Bosnacki
QUICK ADD
Model Checking Software: 9th…
by Dragan Bosnacki (Editor), Stefan Leue (Editor)
#2318 in Series
Paperback $54.99
Title: Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers / Edition 1, Author: Olivier Danvy
QUICK ADD
Partial Evaluation:…
by Olivier Danvy, Robert Glïck, Peter Thiemann
#1110 in Series
Paperback $54.99
Title: Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, Author: Gilles Barthe
QUICK ADD
Trustworthy Global Computing:…
by Gilles Barthe (Editor), Cédric Fournet (Editor)
#4912 in Series
Paperback $54.99
Title: Software Testing in the Cloud: Migration and Execution, Author: Scott Tilley
QUICK ADD
Software Testing in the Cloud:…
by Scott Tilley, Tauhida Parveen
Explore Series
Paperback $54.99
Title: Lessons in System Safety: Proceedings of the Eighth Safety-critical Systems Symposium, Southampton, UK 2000, Author: Felix Redmill
QUICK ADD
Lessons in System Safety:…
by Felix Redmill (Editor), Tom Anderson (Editor)
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
Title: Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings / Edition 1, Author: Barbara Paech
QUICK ADD
Requirements Engineering:…
by Barbara Paech, Colette Rolland
#5025 in Series
Paperback $54.99
Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
QUICK ADD
Verifying Concurrent Processes…
by B. T. Hailpern
#129 in Series
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: Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, Author: Martín Abadi
QUICK ADD
Trustworthy Global Computing:…
by Martín Abadi (Editor), Alberto Lluch Lafuente (Editor)
#8358 in Series
eBook $54.99
Title: Software Process Improvement: Metrics, Measurement, and Process Modelling: Software Best Practice 4 / Edition 1, Author: Michael Haug
QUICK ADD
Software Process Improvement:…
by Michael Haug, Eric W. Olsen, Lars Bergman
#4 in Series
Paperback $54.99
Title: Reliable Software Technologies -- Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, Author: Jean-Pierre Rosen
QUICK ADD
Reliable Software Technologies…
by Jean-Pierre Rosen (Editor), Alfred Strohmeier (Editor)
#2655 in Series
Paperback $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: 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: 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: Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991, Author: Tim Denvir
QUICK ADD
Formal Aspects of Measurement:…
by Tim Denvir (Editor), Rosalind Herman (Editor), Robin Whitty (Editor)
Explore Series
Paperback $54.99
Title: Measuring the Software Process: Statistical Process Control for Software Process Improvement, Author: William Florac
QUICK ADD
Measuring the Software Process…
by William Florac, Anita Carleton
Explore Series
eBook $54.99
Title: Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, Author: Martín Abadi
QUICK ADD
Trustworthy Global Computing:…
by Martín Abadi, Alberto Lluch Lafuente
#8358 in Series
Paperback $54.99
Title: Verification and Validation of Real-Time Software, Author: William J. Quirk
QUICK ADD
Verification and Validation of…
by William J. Quirk (Editor)
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

Pagination Links