321- 340 of 348 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Cleanroom Software Engineering: A Reader / Edition 1, Author: Jesse Poore
QUICK ADD
Cleanroom Software Engineering…
by Jesse Poore
Explore Series
Hardcover $114.95
Title: Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings / Edition 1, Author: Alfred Strohmeier
QUICK ADD
Reliable Software Technologies…
by Alfred Strohmeier
#1088 in Series
Paperback $54.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 Performability: From Concepts to Applications / Edition 1, Author: Ann T. Tai
QUICK ADD
Software Performability: From…
by Ann T. Tai, John F. Meyer, Algirdas Avizienis
#347 in Series
Hardcover $169.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: 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: Software Reliability and Testing / Edition 1, Author: Hoang Pham
QUICK ADD
Software Reliability and…
by Hoang Pham
#52 in Series
Paperback $88.95
Title: Objective Software Quality: Objective Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria Florence, Italy, May 29- 31, 1995. Proceedings / Edition 1, Author: Paolo Nesi
QUICK ADD
Objective Software Quality:…
by Paolo Nesi
#926 in Series
Paperback $54.99
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: 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: Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Link�ping, Sweden, May 3-5, 1993. Proceedings, Author: Peter A. Fritzson
QUICK ADD
Automated and Algorithmic…
by Peter A. Fritzson (Editor)
#749 in Series
Paperback $54.99
Title: The Testability of Distributed Real-Time Systems / Edition 1, Author: Werner Schütz
QUICK ADD
The Testability of Distributed…
by Werner Schütz
#245 in Series
Hardcover $109.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: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
QUICK ADD
Computer-Aided Verification: A…
by Robert Kurshan (Editor)
Explore Series
Hardcover $169.99
Title: Software Failure Risk: Measurement and Management, Author: S. A. Sherer
QUICK ADD
Software Failure Risk:…
by S. A. Sherer
Explore Series
Hardcover $128.00
Title: Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991, Author: Tim Denvir
QUICK ADD
Formal Aspects of Measurement:…
by Tim Denvir (Editor), Rosalind Herman (Editor), Robin Whitty (Editor)
Explore Series
Paperback $54.99
Title: Software Reliability and Metrics / Edition 1, Author: N. Fenton
QUICK ADD
Software Reliability and…
by N. Fenton, B. Littlewood
Hardcover $219.99
Title: Reliability and Robustness of Engineering Software II: Proceedings of the Second International Conference held in Milan, Italy, during 22-24 April 1991, Author: C.A. Brebbia
QUICK ADD
Reliability and Robustness of…
by C.A. Brebbia (Editor), A.J. Ferrante (Editor)
Hardcover $54.99

Pagination Links