1- 20 of 253 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 (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: 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: 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: 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: 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: 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: Software Change Impact Analysis, Author: Robert Arnold
QUICK ADD
Software Change Impact…
by Robert Arnold, Shawn Bohner
#49 in Series
Paperback $101.95
Title: Practical Guide To Software Quality Management, Author: John W. Horch
QUICK ADD
Practical Guide To Software…
by John W. Horch
Explore Series
Paperback $93.00
Title: Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers, Author: Olivier Danvy
QUICK ADD
Partial Evaluation:…
by Olivier Danvy (Editor), Robert Glïck (Editor), Peter Thiemann (Editor)
#1110 in Series
Paperback $54.99
Title: Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995), Author: Roger Shaw
QUICK ADD
Safety and Reliability of…
by Roger Shaw (Editor)
Paperback $109.99
Title: Safe Comp 96: The 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria October 23-25 1996, Author: Erwin Schoitsch
QUICK ADD
Safe Comp 96: The 15th…
by Erwin Schoitsch (Editor), Austrian Research Centre Seibersdorf (Other)
Paperback $54.99

Pagination Links