Microform
Formal methods for verification and validation of partial specifications : a case study / by Steve Easterbrook and John Callahan.
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). |
Search for related items by series
Available copies
- 1 of 1 copy available at Evergreen Indiana.
Holds
- 0 current holds with 1 total copy.
Show Only Available Copies
| 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 | - |
