Hardware proofs using EHDM and the RSRE verification methodology [microform] / Ricky W. Butler, Jon A. Sjogren
- Bib ID:
- 4024923
- Format:
- Book and Microform
- Author:
- Butler, Ricky W
- Description:
-
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [St. Louis, Mo.] : US Army Aviation Systems Command, Aviation R&T Activity ; [Springfield, Va. : For sale by the National Technical Information Service, 1988]
- 1 v.
- Series:
-
- AVSCOM technical memorandum ; 88-B-017.
- NASA technical memorandum ; 100669.
- Notes:
- Distributed to depository libraries in microfiche.
- Reproduction:
- Microfiche. [Washington, D.C.? : National Aeronautics and Space Administration], 1989. 1 microfiche.
- Subject:
- Computer programs
- Other authors/contributors:
- Govt. Doc. Number:
- NAS 1.15:100669
- 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:
- 1988
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
- Statement of a recently claimed discovery, in natural science, incentive to mining enterprise / compiled by "Research"
- Evidences in support of claim for priority of information to government of the existence and locality of workable gold in Victoria, etc. : also, Statement of a recently claimed discovery ; incentive to mining enterprise / compiled by Research
- Science and revelation at one : as to the cause and its continuity of the great secular revolutions in the earth's crust, indicated by geology ... / by Research
- Eureka : an elucidation of mysteries in nature, the problems of science / by J. Wood Beilby
- The eastern question, in the light of unfulfilled prophecy and warning of "those things which are coming on the earth, with distress of nations, and perplexity" / by J. Wood Beilby