An edition of Putting time into proof outlines
(1991)
Putting time into proof outlines
by Fred B. Schneider
Share
×Close
This edition doesn't have a description yet. Can you add one?
Publish Date
1991
Publisher
Dept. of Computer Science,
National Aeronautics and Space Administration,
National Technical Information Service, distributor
Language
English
Buy this book
Subjects
Real-time programming, Verification, Computer programsShowing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Putting time into proof outlines
1993, Dept. of Computer Science, Cornell University, National Aeronautics and Space Administration, National Technical Information Service, distributor
Microform
in English
|
zzzz
|
|
2
Putting time into proof outlines
1991, Dept. of Computer Science, National Aeronautics and Space Administration, National Technical Information Service, distributor
Microform
in English
|
aaaa
|
Book Details
Edition Notes
Distributed to depository libraries in microfiche.
Shipping list no.: 92-1314-M.
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1992] 1 microfiche.
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| February 5, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |