This book is currently unavailable on Open Library, check out available alternatives.
An edition of Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover (1992)

Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover

by

Verifying the interactive convergence clock s...
William D. Young
Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover by William D. Young
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

Only you can see this

Save Note
This book is currently unavailable on Open Library, check out available alternatives.
Last edited by Open Library Bot
December 3, 2010 | History
Edit
An edition of Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover (1992)

Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor
Language
English

Subjects

Distributed processing Electronic data processing Real-time data processing
Edition Availability
Cover of: Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover
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
  • Nearby Libraries

Add another edition?

Book Details

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.

Published in
Hampton, Va, [Springfield, Va
Series
NASA contractor report -- 189649., NASA contractor report -- NASA CR-189649.

The Physical Object

Format
Microform
Pagination
1 v.

Edition Identifiers

Open Library
OL15367094M

Work Identifiers

Work ID
OL512585W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading carousel
Download catalog record: RDF / JSON