Buy this book
Last edited by Open Library Bot
December 3, 2010 | History
This edition doesn't have a description yet. Can you add one?
Publish Date
1992
Publisher
National Aeronautics and Space Administration, Langley Research Center,
National Technical Information Service, distributor
Language
English
Buy this book
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover
1992, National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor
Microform
in English
|
aaaa
|
Book Details
Published in
Hampton, Va, [Springfield, Va
Edition Notes
Distributed to depository libraries in microfiche.
Shipping list no.: 93-0029-M.
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration], 1992. 1 microfiche.
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?December 3, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
December 8, 2009 | Created by ImportBot | add works page |