41- 60 of 181 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / Edition 1, Author: Nachum Dershowitz
QUICK ADD
Verification: Theory and…
by Nachum Dershowitz
#2772 in Series
Paperback $109.99
Title: Aspects of Safety Management: Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001, Author: Felix Redmill
QUICK ADD
Aspects of Safety Management:…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $109.99
Title: Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, Author: Dragan Bosnacki
QUICK ADD
Model Checking Software: 14th…
by Dragan Bosnacki (Editor), Stefan Edelkamp (Editor)
#4595 in Series
Paperback $54.99
Title: Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings / Edition 1, Author: Stuart Anderson
QUICK ADD
Computer Safety, Reliability,…
by Stuart Anderson, Massimo Felici, Bev Littlewood
#2788 in Series
Paperback $54.99
Title: Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995), Author: Roger Shaw
QUICK ADD
Safety and Reliability of…
by Roger Shaw (Editor)
Paperback $109.99
Title: Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / Edition 1, Author: Alan J. Hu
QUICK ADD
Computer Aided Verification:…
by Alan J. Hu, Moshe Y. Vardi
#1427 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: A Guide to Selecting Software Measures and Metrics, Author: Capers Jones
QUICK ADD
A Guide to Selecting Software…
by Capers Jones
Paperback $56.99
Title: Mathematical Approaches to Software Quality / Edition 1, Author: Gerard O'Regan
QUICK ADD
Mathematical Approaches to…
by Gerard O'Regan
Paperback $109.99
Title: Software Testing: Interview Questions, Author: S. Koirala
QUICK ADD
Software Testing: Interview…
by S. Koirala, S. Sheikh
Explore Series
Paperback $163.95
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: 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: 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: Applied Software Measurement: Global Analysis of Productivity and Quality / Edition 3, Author: Capers Jones
QUICK ADD
Applied Software Measurement:…
by Capers Jones
Paperback $104.00
Title: Reliable Software Technologies - Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, Author: Johann Blieberger
QUICK ADD
Reliable Software Technologies…
by Johann Blieberger (Editor), Alfred Strohmeier (Editor)
#2361 in Series
Paperback $54.99
Title: Practical Guide To Software Quality Management / Edition 1, Author: John W. Horch
QUICK ADD
Practical Guide To Software…
by John W. Horch
Explore Series
Paperback $93.00
Title: Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, Author: Felix Redmill
QUICK ADD
Components of System Safety:…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $169.99
Title: Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, Author: Antti Valmari
QUICK ADD
Model Checking Software: 13th…
by Antti Valmari (Editor)
#3925 in Series
Paperback $54.99
Title: Mutation Testing for the New Century / Edition 1, Author: W. Eric Wong
QUICK ADD
Mutation Testing for the New…
by W. Eric Wong
#24 in Series
Paperback $169.99

Pagination Links