Book Search Results

A Formal Model Of Asynchronous Communication And Its Use In Mechanically Verifying A Biphase Mark Protocol by J. Strother Moore

Find "A Formal Model Of Asynchronous Communication And Its Use In Mechanically Verifying A Biphase Mark Protocol" by J. Strother Moore through these Search Results from the best data sources on the web and enjoy your read!

Search By Title or Author
Search By ISBN

Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

By

“A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol” Metadata:

  • Title: ➤  A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
  • Author:
  • Language: English
  • Publisher: ➤  For sale by the National Technical Information Service] - National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program
  • Publish Date:
  • Publish Location: ➤  [Springfield, Va - [Washington, DC]

“A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1992
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

    Online Marketplaces

    Find A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol at online marketplaces:


    2A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

    By

    “A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol” Metadata:

    • Title: ➤  A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
    • Author:
    • Number of Pages: Median: 50
    • Publisher: Langley Research Center
    • Publish Date:
    • Publish Location: Hampton, Va

    “A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 1992
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol at online marketplaces:


    3A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

    By

    “A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol” Metadata:

    • Title: ➤  A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
    • Author:
    • Language: English
    • Publisher: ➤  For sale by the National Technical Information Service] - National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program
    • Publish Date:
    • Publish Location: ➤  [Springfield, Va - [Washington, DC]

    “A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 1992
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Access

    Downloads Are Not Available:

    The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

    Online Borrowing:

      Online Marketplaces

      Find A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol at online marketplaces:


      Buy “A Formal Model Of Asynchronous Communication And Its Use In Mechanically Verifying A Biphase Mark Protocol” online:

      Shop for “A Formal Model Of Asynchronous Communication And Its Use In Mechanically Verifying A Biphase Mark Protocol” on popular online marketplaces.