1- 20 of 61 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: 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, Author: Timothy T.R. Colburn
QUICK ADD
Program Verification:…
by Timothy T.R. Colburn (Editor), J.H. Fetzer (Editor), R.L. Rankin (Editor)
#14 in Series
Hardcover $329.00
Title: Derivation and Validation of Software Metrics, Author: Martin Shepperd
QUICK ADD
Derivation and Validation of…
by Martin Shepperd, Darrel Ince
#9 in Series
Hardcover $33.99
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: 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: Cleanroom Software Engineering: A Reader / Edition 1, Author: Jesse Poore
QUICK ADD
Cleanroom Software Engineering…
by Jesse Poore
Explore Series
Hardcover $114.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: 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
Title: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever
QUICK ADD
Data Refinement:…
by Willem-Paul de Roever, Kai Engelhardt
#47 in Series
Hardcover $160.00
Title: Designing Maintainable Software / Edition 1, Author: Dennis D. Smith
QUICK ADD
Designing Maintainable…
by Dennis D. Smith
Hardcover $54.99
Title: Testing Object-Oriented Software: Life Cycle Solutions / Edition 1, Author: Imran Bashir
QUICK ADD
Testing Object-Oriented…
by Imran Bashir, Amrit L. Goel
Hardcover $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: Software Verification And Validation For Practitioners And Managers 2nd Ed. / Edition 2, Author: Steven R. Rakitin
QUICK ADD
Software Verification And…
by Steven R. Rakitin
Hardcover $109.00
Title: Systems and Software Verification: Model-Checking Techniques and Tools / Edition 1, Author: B. Berard
QUICK ADD
Systems and Software…
by B. Berard, P. McKenzie, M. Bidoit, A. Finkel, F. Laroussinie
Hardcover $159.99
Title: Software Fault Tolerance Techniques And Implementation, Author: Laura L Pullum
QUICK ADD
Software Fault Tolerance…
by Laura L Pullum
Explore Series
Hardcover $114.00
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods / Edition 1, Author: Willem-Paul de Roever
QUICK ADD
Concurrency Verification:…
by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech
#54 in Series
Hardcover $284.00

Pagination Links