1- 20 of 1363 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: Compiler Specification and Verification, Author: W. Polak
QUICK ADD
Compiler Specification and…
by W. Polak
#124 in Series
Paperback $39.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: 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: More Test Examples for Nonlinear Programming Codes, Author: Klaus Schittkowski
QUICK ADD
More Test Examples for…
by Klaus Schittkowski
#282 in Series
Paperback $54.99
Title: Testing in Software Development, Author: Martyn A. Ould
QUICK ADD
Testing in Software…
by Martyn A. Ould (Editor), Charles Unwin (Editor)
Explore Series
Paperback $42.00
Title: Software Reliability Modelling and Identification, Author: Sergio Bittanti
QUICK ADD
Software Reliability Modelling…
by Sergio Bittanti (Editor)
#341 in Series
Paperback $54.99
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 Failure Risk: Measurement and Management, Author: S. A. Sherer
QUICK ADD
Software Failure Risk:…
by S. A. Sherer
Explore Series
Hardcover $128.00
Title: Program Verification: Fundamental Issues in Computer Science, Author: Timothy T.R. Colburn
QUICK ADD
Program Verification:…
by Timothy T.R. Colburn (Editor), J.H. Fetzer (Editor), R.L. Rankin (Editor)
#14 in Series
Hardcover $329.00
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: Quality Software Management: Congruent Action, Author: Gerald M. Weinberg
QUICK ADD
Quality Software Management:…
by Gerald M. Weinberg, Dorset House
Hardcover $39.95
Title: Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism, 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, Author: Paolo Nesi
QUICK ADD
Objective Software Quality:…
by Paolo Nesi (Editor)
#926 in Series
Paperback $54.99
Title: Black-Box Testing: Techniques for Functional Testing of Software and Systems, Author: Boris Beizer
QUICK ADD
Black-Box Testing: Techniques…
by Boris Beizer
Paperback $50.00
Title: Software Reliability and Testing, 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, Author: Patrice Godefroid
QUICK ADD
Partial-Order Methods for the…
by Patrice Godefroid (Editor)
#1032 in Series
Paperback $54.99
Title: Fatal Defect: Chasing Killer Computer Bugs, Author: Ivars Peterson
QUICK ADD
Fatal Defect: Chasing Killer…
by Ivars Peterson
Paperback $17.00
Title: Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings, Author: Alfred Strohmeier
QUICK ADD
Reliable Software Technologies…
by Alfred Strohmeier (Editor)
#1088 in Series
Paperback $54.99
Title: Cleanroom Software Engineering: A Reader, Author: Jesse Poore
QUICK ADD
Cleanroom Software Engineering…
by Jesse Poore
Explore Series
Hardcover $114.95

Pagination Links