An edition of Formal verification of an oral messages algorithm for interactive consistency
(1992)
Formal verification of an oral messages algorithm for interactive consistency
by John Rushby
Share
×Close
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
Pages
45
Buy this book
Subjects
Algorithms| Edition | Availability |
|---|---|
1
Formal verification of an oral messages algorithm for interactive consistency
1992, National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor
Microform
in English
|
zzzz
|
|
2
Formal verification of an oral messages algorithm for interactive consistency
1992, National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor
Microform
in English
|
aaaa
|
Book Details
Edition Notes
Distributed to depository libraries in microfiche.
Shipping list no.: 93-0454-M.
Includes bibliographical references (p. 25-27).
Microfiche. [Washington, D.C.] : National Aeronautics and Space Administration, [1993]. 1 microfiche ; 11 x 15 cm.
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| January 19, 2010 | Edited by WorkBot | add subjects and covers |
| December 11, 2009 | Created by WorkBot | add works page |