1- 20 of 138 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Achieving Safety and Reliability with Computer Systems / Edition 1, Author: B.K. Daniels
QUICK ADD
Achieving Safety and…
by B.K. Daniels
Hardcover $169.99
Title: Software Reliability Modelling and Identification / Edition 1, Author: Sergio Bittanti
QUICK ADD
Software Reliability Modelling…
by Sergio Bittanti
#341 in Series
Paperback $54.99
Title: Measurement for Software Control and Assurance / Edition 1, Author: B.A. Kitchenham
QUICK ADD
Measurement for Software…
by B.A. Kitchenham, B. Littlewood
Hardcover $219.99
Title: Program Verification: Fundamental Issues in Computer Science / Edition 1, Author: Timothy T.R. Colburn
QUICK ADD
Program Verification:…
by Timothy T.R. Colburn, J.H. Fetzer, R.L. Rankin
#14 in Series
Hardcover $329.00
Title: Reliability of Software Intensive Systems, Author: Michael A. Friedman
QUICK ADD
Reliability of Software…
by Michael A. Friedman, Phuong Y. Tran, Peter I. Goddard
Explore Series
Hardcover $72.95
Title: Software Quality Control, Error, Analysis, Author: Judith Clapp
QUICK ADD
Software Quality Control,…
by Judith Clapp, Saul F. Stanten, W.W. Peng, D.R. Wallace, Deborah A. Cerino
Explore Series
Hardcover $72.95
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: Temporal Verification of Reactive Systems: Safety / Edition 1, Author: Zohar Manna
QUICK ADD
Temporal Verification of…
by Zohar Manna, Amir Pnueli
Hardcover $109.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
Hardcover $109.99
Title: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem / Edition 1, Author: Patrice Godefroid
QUICK ADD
Partial-Order Methods for the…
by Patrice Godefroid
#1032 in Series
Paperback $54.99
Title: Cleanroom Software Engineering: A Reader / Edition 1, Author: Jesse Poore
QUICK ADD
Cleanroom Software Engineering…
by Jesse Poore
Explore Series
Hardcover $114.95
Title: Software Change Impact Analysis / Edition 1, Author: Robert Arnold
QUICK ADD
Software Change Impact…
by Robert Arnold, Shawn Bohner
#49 in Series
Paperback $101.95
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: 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: Practical Software Maintenance: Best Practices for Managing Your Software Investment / Edition 1, Author: Thomas M. Pigoski
QUICK ADD
Practical Software Maintenance…
by Thomas M. Pigoski
Paperback $95.00
Title: Applying Software Metrics / Edition 1, Author: Paul Oman
QUICK ADD
Applying Software Metrics /…
by Paul Oman, Shari Lawrence Pfleeger
#46 in Series
Paperback $101.95
Title: Quality of Numerical Software: Assessment and enhancement / Edition 1, Author: Ronald F. Boisvert
QUICK ADD
Quality of Numerical Software:…
by Ronald F. Boisvert
Explore Series
Hardcover $169.00
Title: Reliability, Quality and Safety of Software-Intensive Systems: IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece / Edition 1, Author: Dimitris Gritzalis
QUICK ADD
Reliability, Quality and…
by Dimitris Gritzalis
Explore Series
Hardcover $169.99
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction / Edition 1, Author: Markus Mïller-Olm
QUICK ADD
Modular Compiler Verification:…
by Markus Mïller-Olm
#1283 in Series
Paperback $54.99
Title: SPICE: The Theory and Practice of Software Process Improvement and Capability Determination / Edition 1, Author: Khaled El Emam
QUICK ADD
SPICE: The Theory and Practice…
by Khaled El Emam, Jean-Normand Drouin, Walcélio Melo, Alec Dorling
#7 in Series
Hardcover $149.95

Pagination Links