Formal verification of AI software [microform] / John Rushby, R. Alan Whitehurst
- Bib ID:
- 4659484
- Format:
- Book and Microform
- Author:
- Rushby, John, 1949-
- Online Version:
- http://purl.access.gpo.gov/GPO/LPS113685
Broken link? let us search Trove , the Wayback Machine , or Google for you.
- Description:
-
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989]
- 1 v.
- Series:
- NASA contractor report ; NASA CR-181827.
- Notes:
-
- Distributed to depository libraries on microfiche.
- Also available via Internet from the NTRS web site. Address as of 06/11/09: http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19890015440%5F1989015440.pdf ; current access is available via PURL.
- Reproduction:
- Microfiche. [Washington, D.C. : National Aeronautics and Space Administration], 1989. 2 microfiches.
- Subject:
- Other authors/contributors:
- Available From:
- NASA
- Govt. Doc. Number:
- NAS 1.26:181827
- Copyright:
-
In Copyright
You may copy under some circumstances, for example you may copy a portion for research or study. Order a copy through Copies Direct to the extent allowed under fair dealing. Contact us for further information about copying.
Copyright status was determined using the following information:
- Material type:
- Literary Dramatic Musical
- Published status:
- Published
- Publication date:
- 1989
Copyright status may not be correct if data in the record is incomplete or inaccurate. Other access conditions may also apply. For more information please see: Copyright in library collections.
Request this item
Request this item to view in the Library’s reading room.
Loading...
Feedback
Similar items
- Suggestion schemes : a guide to their operation
- File format : a guide to the physical design and construction of files / Records Management Office of New South Wales
- Conference on Electronic Delivery of Data and Software : the Cavendish Conference Centre, London, 16-17 September 1986
- A methodology for commonality analysis, with applications to selected space station systems [microform] / Lawrence Dale Thomas
- ISyCL technical report [microform] / Louis P. Decker, Richard J. Mayer