Premium Members Get 10% Off and Earn Rewards Find Out More
1- 20 of 576 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: Testing in Software Development, Author: Martyn A. Ould
QUICK ADD
Testing in Software…
by Martyn A. Ould, Charles Unwin
Explore Series
Paperback $39.99
Title: Achieving Safety and Reliability with Computer Systems / Edition 1, Author: B.K. Daniels
QUICK ADD
Achieving Safety and…
by B.K. Daniels
Hardcover $169.99
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: Measurement for Software Control and Assurance / Edition 1, Author: B.A. Kitchenham
QUICK ADD
Measurement for Software…
by B.A. Kitchenham, B. Littlewood
Hardcover $219.99
Title: Software Reliability Handbook / Edition 1, Author: Rook
QUICK ADD
Software Reliability Handbook …
by Rook
Hardcover $219.99
Title: Software Complexity: Measures and Methods, Author: Horst Zuse
QUICK ADD
Software Complexity: Measures…
by Horst Zuse
#4 in Series
Hardcover $201.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: Software Reliability and Metrics / Edition 1, Author: N. Fenton
QUICK ADD
Software Reliability and…
by N. Fenton, B. Littlewood
Hardcover $219.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: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
QUICK ADD
Computer-Aided Verification: A…
by Robert Kurshan (Editor)
Explore Series
Hardcover $169.99
Title: Program Verification: Fundamental Issues in Computer Science / Edition 1, Author: Timothy T.R. Colburn
QUICK ADD
Program Verification:…
by Timothy T.R. Colburn, J.H. Fetzer, R.L. Rankin
#14 in Series
Hardcover $329.99
Title: The Testability of Distributed Real-Time Systems / Edition 1, Author: Werner Schütz
QUICK ADD
The Testability of Distributed…
by Werner Schütz
#245 in Series
Hardcover $109.99
Title: Derivation and Validation of Software Metrics, Author: Martin Shepperd
QUICK ADD
Derivation and Validation of…
by Martin Shepperd, Darrel Ince
#9 in Series
Hardcover $33.99
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

Pagination Links