Book Search Results
A Formally Verified Algorithm For Interactive Consistency Under A Hybrid Fault Model by Patrick Lincoln
Find "A Formally Verified Algorithm For Interactive Consistency Under A Hybrid Fault Model" by Patrick Lincoln through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1A formally verified algorithm for interactive consistency under a hybrid fault model
By Patrick Lincoln
“A formally verified algorithm for interactive consistency under a hybrid fault model” Metadata:
- Title: ➤ A formally verified algorithm for interactive consistency under a hybrid fault model
- Author: Patrick Lincoln
- Number of Pages: Median: 67
- Publisher: Langley Research Center
- Publish Date: 1993
- Publish Location: Hampton, Va
“A formally verified algorithm for interactive consistency under a hybrid fault model” Subjects and Themes:
- Subjects: Fault tolerance
Edition Identifiers:
- The Open Library ID: OL19916578M
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find A formally verified algorithm for interactive consistency under a hybrid fault model at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “A Formally Verified Algorithm For Interactive Consistency Under A Hybrid Fault Model” online:
Shop for “A Formally Verified Algorithm For Interactive Consistency Under A Hybrid Fault Model” on popular online marketplaces.
- Ebay: New and used books.