Catalog

Record Details

Catalog Search



Experiences using lightweight formal methods for requirements modeling / Steve Easterbrook ... [and others].

Image of item

Available copies

  • 1 of 1 copy available at Evergreen Indiana.

Current holds

0 current holds with 1 total copy.

Series Information

NASA contractor report ; NASA CR-207044.
Location Call Number / Copy Notes Barcode Shelving Location Status Due Date
Indiana State Library - Indianapolis ISLM NAS 1.26:207044 (Text) 832333-1001 General Federal documents Available -

Record details

  • Physical Description: 1 volume
  • Publisher: [Washington, DC] : [National Aeronautics and Space Administration] ; [1997]

Content descriptions

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

Additional Resources