161- 179 of 179 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Test Examples for Nonlinear Programming Codes, Author: W. Hock
QUICK ADD
Test Examples for Nonlinear…
by W. Hock, Klaus Schittkowski
#187 in Series
Paperback $54.99
Title: Aspects of Safety Management: Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001, Author: Felix Redmill
QUICK ADD
Aspects of Safety Management:…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $109.99
Title: Requirements Engineering: Foundation for Software Quality: 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings, Author: Pete Sawyer
QUICK ADD
Requirements Engineering:…
by Pete Sawyer (Editor), Barbara Paech (Editor), Patrick Heymans (Editor)
#4542 in Series
Paperback $54.99
Title: Test Automation: A Manager's Guide, Author: Boby Jose
QUICK ADD
Test Automation: A Manager's…
by Boby Jose
Paperback $51.99
Title: High Integrity Software, Author: Victor L. Winter
QUICK ADD
High Integrity Software
by Victor L. Winter (Editor), Sourav Bhattacharya (Editor)
#577 in Series
Paperback $169.99
Title: Mathematical Approaches to Software Quality, Author: Gerard O'Regan
QUICK ADD
Mathematical Approaches to…
by Gerard O'Regan
Paperback $109.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: Software Change Impact Analysis, Author: Robert Arnold
QUICK ADD
Software Change Impact…
by Robert Arnold, Shawn Bohner
#49 in Series
Paperback $101.95
Title: A Guide to Selecting Software Measures and Metrics, Author: Capers Jones
QUICK ADD
A Guide to Selecting Software…
by Capers Jones
Paperback $56.99
Title: Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, Author: Gilles Barthe
QUICK ADD
Trustworthy Global Computing:…
by Gilles Barthe (Editor), Cédric Fournet (Editor)
#4912 in Series
Paperback $54.99
Title: An Introduction to the PL/CV2 Programming Logic, Author: R. L. Constable
QUICK ADD
An Introduction to the PL/CV2…
by R. L. Constable, S. D. Johnson, C. D. Eichenlaub
#135 in Series
Paperback $54.99
Title: Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers, Author: Klaus Havelund
QUICK ADD
Formal Approaches to Software…
by Klaus Havelund (Editor), Manuel Núnez (Editor), Grigore Rosu (Editor), Burkhart Wolff (Editor)
#4262 in Series
Paperback $54.99
Title: Functional Software Size Measurement Methodology with Effort Estimation and Performance Indication, Author: Jasveer Singh
QUICK ADD
Functional Software Size…
by Jasveer Singh
Paperback $134.95
Title: Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, Author: René Alt
QUICK ADD
Numerical Software with Result…
by René Alt (Editor), Andreas Frommer (Editor), R. Baker Kearfott (Editor), Wolfram Luther (Editor)
#2991 in Series
Paperback $54.99
Title: Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers, Author: Doron A. Peled
QUICK ADD
Model Checking and Artificial…
by Doron A. Peled (Editor), Michael Wooldridge (Editor)
#5348 in Series
Paperback $54.99
Title: Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26, Author: Lubos Brim
QUICK ADD
Formal Methods: Applications…
by Lubos Brim (Editor), Boudewijn Haverkort (Editor), Martin Leucker (Editor), Jaco van de Pol (Editor)
#4346 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: Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, Author: Warren A. Hunt
QUICK ADD
Computer Aided Verification:…
by Warren A. Hunt, Jr. (Editor), Fabio Somenzi (Editor)
#2725 in Series
Paperback $54.99
Title: Applying Software Metrics, Author: Paul Oman
QUICK ADD
Applying Software Metrics
by Paul Oman, Shari Lawrence Pfleeger
#46 in Series
Paperback $101.95

Pagination Links