241- 260 of 602 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Verification and Validation of Real-Time Software, Author: William J. Quirk
QUICK ADD
Verification and Validation of…
by William J. Quirk (Editor)
Paperback $54.99
Title: Designing Maintainable Software, Author: Dennis D. Smith
QUICK ADD
Designing Maintainable…
by Dennis D. Smith
Hardcover $54.99
Title: Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings, Author: Bernhard Beckert
QUICK ADD
Tests and Proofs: Second…
by Bernhard Beckert (Editor), Reiner Hähnle (Editor)
#4966 in Series
Paperback $54.99
Title: Development and Evolution of Software Architectures for Product Families: Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998, Proceedings, Author: Frank van der Linden
QUICK ADD
Development and Evolution of…
by Frank van der Linden (Editor)
#1429 in Series
Paperback $54.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
Title: Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, Author: Stuart Anderson
QUICK ADD
Computer Safety, Reliability,…
by Stuart Anderson (Editor), Massimo Felici (Editor), Bev Littlewood (Editor)
#2788 in Series
Paperback $54.99
Title: The Renaissance of Legacy Systems: Method Support for Software-System Evolution, Author: Ian Warren
QUICK ADD
The Renaissance of Legacy…
by Ian Warren, D. Avallone (Contribution by), M. Breuer (Contribution by), J. Favaro (Contribution by), J. Ransom (Contribution by)
Explore Series
Paperback $54.99
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction, Author: Markus Mïller-Olm
QUICK ADD
Modular Compiler Verification:…
by Markus Mïller-Olm
#1283 in Series
Paperback $54.99
Title: Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings, Author: Udo Voges
QUICK ADD
Computer Safety, Reliability…
by Udo Voges (Editor)
#2187 in Series
Paperback $54.99
Title: Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998, Author: John Hatcliff
QUICK ADD
Partial Evaluation: Practice…
by John Hatcliff (Editor), Torben Mogensen (Editor), Peter Thiemann (Editor)
#1706 in Series
Paperback $54.99
Title: Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, Author: Fabrice Kordon
QUICK ADD
Reliable Software Technologies…
by Fabrice Kordon (Editor), Tullio Vardanega (Editor)
#5026 in Series
Paperback $54.99
Title: Reliable Software Technology - Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings, Author: Tullio Vardanega
QUICK ADD
Reliable Software Technology -…
by Tullio Vardanega (Editor), Andy Wellings (Editor)
#3555 in Series
Paperback $54.99
Title: Managing Software Quality: A Measurement Framework for Assessment and Prediction, Author: Richard E. Nance
QUICK ADD
Managing Software Quality: A…
by Richard E. Nance, James D. Arthur
Explore Series
Paperback $54.99
Title: Software Testing for Managers: An Introduction to Strategies, Technologies, and Best Practices, Author: Ross Radford
QUICK ADD
Software Testing for Managers:…
by Ross Radford
eBook $54.99
Title: Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1, Author: Michael Haug
QUICK ADD
Software Quality Approaches:…
by Michael Haug (Editor), Eric W. Olsen (Editor), Luisa Consolini (Editor)
eBook $54.99
Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
QUICK ADD
Verifying Concurrent Processes…
by B. T. Hailpern
#129 in Series
Paperback $54.99
Title: Quality of Software Architectures: Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers, Author: Christine Hofmeister
QUICK ADD
Quality of Software…
by Christine Hofmeister (Editor), Ivica Crnkovic (Editor), Ralf H. Reussner (Editor)
#4214 in Series
Paperback $54.99
Title: Unifying the Software Process Spectrum: International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers, Author: Mingshu Li
QUICK ADD
Unifying the Software Process…
by Mingshu Li (Editor), Barry Boehm (Editor), Leon J. Osterweil (Editor)
#3840 in Series
Paperback $54.99
Title: Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings, Author: Matti Jarvisalo
QUICK ADD
Theory and Applications of…
by Matti Jarvisalo (Editor), Allen Van Gelder (Editor)
#7962 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Erika Abraham
QUICK ADD
Tools and Algorithms for the…
by Erika Abraham (Editor), Klaus Havelund (Editor)
#8413 in Series
Paperback $54.99

Pagination Links