|
|
| All results: |
Sort by:
|
|
Showing books
1
through 10 of 27:
|
|
Items per page:
10 | 20 | 50 | 100 |
|
|
| 1. |
|
The Computer System Risk Management and Validation Life Cycle
by R. Timothy Stein
Book,
Paton Press
(January 2006)
|
|
 |
| 2. |
|
Formal Methods for Trustworthy Computer Systems: Report from Fm89--A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada
by Workshop on the Assessment of Formal Methods for Trustworthy Computer, K. Summerskill (Editor), Karen Summerskill, Karen Summerskill (Editor), Dan Craigen
Paperback,
Springer Verlag
(March 1991)
List Price: $49.00
|
|
|
| 3. |
|
Software Verification and Validation: Realistic Project Approaches
by Michael S. Deutsch
Hardcover,
Prentice Hall
(January 1982)
List Price: $63.00
|
|
|
| 4. |
|
Trustworthy Global Computing: Third Symposium, Tgc 2007, Sophia-antipolis, France, November 5-6, 2007, Revised Selected Papers
by Gilles Barthe (Editor), Cedric Fournet (Editor)
Paperback,
Springer-Verlag New York Inc
(May 2008)
List Price: $79.95
|
|
|
| 5. |
|
Verification and Validation of Rule-Based Expert Systems
by Suzanne Smith, Abraham Kandel
Hardcover,
CRC Pr I Llc
(August 1993)
List Price: $179.95
|
|
|
| 6. |
|
Software Verification and Validation: A Practitioner's Guide
by Steven R. Rakitin
Hardcover,
Artech House on Demand
(February 1997)
List Price: $84.00
|
|
|
| 7. |
|
Software Validation Verification Testing and Documentation
by Stephen J. Andriole (Editor)
Hardcover,
McGraw-Hill
(April 1986)
List Price: $49.50
|
|
|
| 8. |
|
Software Verification and Validation for Practitioners and Managers
by Steven R. Rakitin
Hardcover,
Artech House on Demand
(July 2001)
List Price: $96.00
|
|
|
| 9. |
|
Software Verification And Validation: An Engineering And Scientific Approach
by Fisher
Hardcover,
Springer Verlag
(December 2006)
List Price: $99.00
|
|
|
| 10. |
|
Software Validation: Inspection, Testing, Verification, Alternatives Proceedings of the Symposium on Software Validation Held in Darmstadt, FRG, September 25-30, 1983
by Hans-Ludwig Hausen, Sri International, Gesellschaft Fur Mathematik Und Datenverarbeitung
Book,
Elsevier Science Publishers B.V. for Gesellschaft fur Mathematik und Datemverarbeitung, Bonn
(January 1984)
|
|
|
|
Showing books
1
through 10 of 27:
|
|
Items per page:
10 | 20 | 50 | 100 |
|
|
|
 |
© Copyright 1948-2007 Muze Inc. For personal non-commercial use only. All rights reserved.