Record Details

Catalog Search

Formal methods for verification and validation of partial specifications : a case study / by Steve Easterbrook and John Callahan.

Image of item

Available copies

  • 1 of 1 copy available at Evergreen Indiana.

Current holds

0 current holds with 1 total copy.

Series Information

Technical report series ; NASA/IVV-97-010
NASA contractor report ; NASA CR-207040.
Location Call Number / Copy Notes Barcode Shelving Location Status Due Date
Indiana State Library - Indianapolis ISLM NAS 1.26:207040 (Text) 832597-1001 General Federal documents Available -

Record details

  • Physical Description: 1 volume.
  • Publisher: [Fairmont, W. Va.] : West Virginia University ; [1997]

Content descriptions

General Note:
Shipping list no.: 99-0323-M.
Reproduction Note:
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1998] 1 microfiche. (NASA/CR ; 97-207040).

Additional Resources