Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Publish Date
2001
Publisher
National Aeronautics and Space Administration, Langley Research Center,
Available from NASA Center for Aerospace Information
Language
English
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Subjects
Mechanization, Proving, Programming languagesEdition | Availability |
---|---|
1
Theory interpretations in PVS
2001, National Aeronautics and Space Administration, Langley Research Center, Available from NASA Center for Aerospace Information
Microform
in English
|
aaaa
|
Book Details
Edition Notes
Shipping list no.: 2002-0230-M.
"July 2001."
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 2002?] 1 microfiche final report.
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?January 21, 2010 | Edited by WorkBot | add subjects and covers |
December 11, 2009 | Created by WorkBot | add works page |