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.