41- 60 of 180 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings, Author: Floor Koornneef
QUICK ADD
Computer Safety, Reliability,…
by Floor Koornneef (Editor), Meine van der Meulen (Editor)
#1943 in Series
Paperback $54.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: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings, Author: Matthew Dwyer
QUICK ADD
Model Checking Software: 8th…
by Matthew Dwyer (Editor)
#2057 in Series
Paperback $54.99
Title: Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings, Author: Udo Voges
QUICK ADD
Computer Safety, Reliability…
by Udo Voges (Editor)
#2187 in Series
Paperback $54.99
Title: Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1, Author: Michael Haug
QUICK ADD
Software Quality Approaches:…
by Michael Haug (Editor), Eric W. Olsen (Editor), Luisa Consolini (Editor)
#1 in Series
Paperback $54.99
Title: Software Process Improvement: Metrics, Measurement, and Process Modelling: Software Best Practice 4, Author: Michael Haug
QUICK ADD
Software Process Improvement:…
by Michael Haug (Editor), Eric W. Olsen (Editor), Lars Bergman (Editor)
#4 in Series
Paperback $54.99
Title: Managing the Change: Software Configuration and Change Management: Software Best Practice 2, Author: Michael Haug
QUICK ADD
Managing the Change: Software…
by Michael Haug (Editor), Eric W. Olsen (Editor), Gonzalo Cuevas (Editor), Santiago Rementeria (Editor)
#2 in Series
Paperback $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: 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: 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: 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: 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: Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings, Author: Stuart Anderson
QUICK ADD
Computer Safety, Reliability…
by Stuart Anderson (Editor), Sandro Bologna (Editor), Massimo Felici (Editor)
#2434 in Series
Paperback $54.99
Title: Test Driven Development: By Example, Author: Kent Beck
QUICK ADD
Test Driven Development: By…
by Kent Beck
Explore Series
Paperback $66.49
Title: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, Author: Thomas Ball
QUICK ADD
Model Checking Software: 10th…
by Thomas Ball (Editor), Sriram K. Rajamani (Editor)
#2648 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: Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, Author: Warren A. Hunt
QUICK ADD
Computer Aided Verification:…
by Warren A. Hunt, Jr. (Editor), Fabio Somenzi (Editor)
#2725 in Series
Paperback $54.99
Title: Software Maintenance: Concepts And Practice (Second Edition), Author: Penny Grubb
QUICK ADD
Software Maintenance: Concepts…
by Penny Grubb, Armstrong A Takang
Paperback $77.00
Title: Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, Author: Stuart Anderson
QUICK ADD
Computer Safety, Reliability,…
by Stuart Anderson (Editor), Massimo Felici (Editor), Bev Littlewood (Editor)
#2788 in Series
Paperback $54.99

Pagination Links