1- 20 of 76 results
Grid View Grid
List View List
Grid View Grid
List View List
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: 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: 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: 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: Designing Maintainable Software / Edition 1, Author: Dennis D. Smith
QUICK ADD
Designing Maintainable…
by Dennis D. Smith
Hardcover $54.99
Title: Managing Software Quality and Business Risk / Edition 1, Author: Martyn A. Ould
QUICK ADD
Managing Software Quality and…
by Martyn A. Ould
Explore Series
Paperback $133.75
Title: Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings / Edition 1, Author: Hubertus B. Keller
QUICK ADD
Reliable Software Technologies…
by Hubertus B. Keller, Erhard Plïdereder
#1845 in Series
Paperback $54.99
Title: SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings / Edition 1, Author: Klaus Havelund
QUICK ADD
SPIN Model Checking and…
by Klaus Havelund, John Penix, Willem Visser
#1885 in Series
Paperback $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., Author: Steven R. Rakitin
QUICK ADD
Software Verification And…
by Steven R. Rakitin
Hardcover $109.00
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
Title: Software Process Improvement: Metrics, Measurement, and Process Modelling: Software Best Practice 4 / Edition 1, Author: Michael Haug
QUICK ADD
Software Process Improvement:…
by Michael Haug, Eric W. Olsen, Lars Bergman
#4 in Series
Paperback $54.99

Pagination Links