1- 20 of 105 results
Grid View Grid
List View List
Grid View Grid
List View List
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: 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: 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: Software Reliability and Testing / Edition 1, Author: Hoang Pham
QUICK ADD
Software Reliability and…
by Hoang Pham
#52 in Series
Paperback $88.95
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: 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: 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: Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings / Edition 1, Author: Keith Hardy
QUICK ADD
Reliable Software Technologies…
by Keith Hardy, Jim Briggs
#1251 in Series
Paperback $54.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: Software Metrics: A Rigorous and Practical Approach / Edition 2, Author: Norman E. Fenton
QUICK ADD
Software Metrics: A Rigorous…
by Norman E. Fenton, Shari Lawrence Pfleeger
Explore Series
Paperback $124.95
Title: Debugging Embedded Microprocessor Systems, Author: Stuart Ball
QUICK ADD
Debugging Embedded…
by Stuart Ball
Paperback $73.95
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