1- 20 of 119 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, Author: Sergio Bittanti
QUICK ADD
Software Reliability Modelling…
by Sergio Bittanti (Editor)
#341 in Series
Paperback $54.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: Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism, 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: 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, Author: Olivier Danvy
QUICK ADD
Partial Evaluation:…
by Olivier Danvy (Editor), Robert Glïck (Editor), Peter Thiemann (Editor)
#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: 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: AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis / Edition 1, Author: William J. Brown
QUICK ADD
AntiPatterns: Refactoring…
by William J. Brown, Raphael C. Malveau, Hays W. "Skip" McCormick, Thomas J. Mowbray
Paperback $68.00
Title: B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings / Edition 1, Author: Bert Didier
QUICK ADD
B'98: Recent Advances in the…
by Bert Didier
#1393 in Series
Paperback $54.99
Title: Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings / Edition 1, Author: Lars Asplund
QUICK ADD
Reliable Software Technologies…
by Lars Asplund
#1411 in Series
Paperback $54.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: Testing Object-Oriented Software / Edition 1, Author: David C. Kung
QUICK ADD
Testing Object-Oriented…
by David C. Kung, Pei Hsia, Jerry Gao
#32 in Series
Paperback $110.95

Pagination Links