Explore: Lotos (computer Program Language)

Discover books, insights, and more — all in one place.

Learn more about Lotos (computer Program Language) with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “lotos-%28computer-program-language%29”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Verification of systems and circuits using LOTOS, Petri Nets, and CCS

By

Book's cover

“Verification of systems and circuits using LOTOS, Petri Nets, and CCS” Metadata:

  • Title: ➤  Verification of systems and circuits using LOTOS, Petri Nets, and CCS
  • Authors:
  • Language: English
  • Number of Pages: Median: 248
  • Publisher: ➤  John Wiley & Sons - Wiley & Sons Canada, Limited, John - Wiley-Interscience - Wiley & Sons, Incorporated, John
  • Publish Date:
  • Publish Location: Hoboken, N.J

“Verification of systems and circuits using LOTOS, Petri Nets, and CCS” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 2008
  • 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 Verification of systems and circuits using LOTOS, Petri Nets, and CCS at online marketplaces:


    2The Formal description technique Lotos

    Book's cover

    “The Formal description technique Lotos” Metadata:

    • Title: ➤  The Formal description technique Lotos
    • Language: English
    • Number of Pages: Median: 451
    • Publisher: ➤  Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. - North-Holland
    • Publish Date:
    • Publish Location: ➤  New York, N.Y - New York - Amsterdam

    “The Formal description technique Lotos” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

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

    Online Marketplaces

    Find The Formal description technique Lotos at online marketplaces:


    3Concurrency theory

    By

    Book's cover

    “Concurrency theory” Metadata:

    • Title: Concurrency theory
    • Author:
    • Language: English
    • Number of Pages: Median: 429
    • Publisher: Springer
    • Publish Date:
    • Publish Location: London

    “Concurrency theory” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 2005
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: Unclassified

    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 Concurrency theory at online marketplaces:


      4The OSI95 transport service with multimedia support

      By

      Book's cover

      “The OSI95 transport service with multimedia support” Metadata:

      • Title: ➤  The OSI95 transport service with multimedia support
      • Author:
      • Language: English
      • Number of Pages: Median: 515
      • Publisher: Springer - Springer-Verlag
      • Publish Date:
      • Publish Location: Berlin - New York

      “The OSI95 transport service with multimedia support” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

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

      Online Marketplaces

      Find The OSI95 transport service with multimedia support at online marketplaces:


      5LOTOSphere

      By

      Book's cover

      “LOTOSphere” Metadata:

      • Title: LOTOSphere
      • Author:
      • Language: English
      • Number of Pages: Median: 488
      • Publisher: Kluwer Academic Publishers
      • Publish Date:
      • Publish Location: Boston

      “LOTOSphere” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 1995
      • Is Full Text Available: Yes
      • Is The Book Public: No
      • Access Status: Printdisabled

      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 LOTOSphere at online marketplaces:


        6LOTOS

        By

        “LOTOS” Metadata:

        • Title: LOTOS
        • Author:
        • Language: pol
        • Number of Pages: Median: 264
        • Publisher: ➤  Oficyna Wydawnicza Politechniki Wrocławskiej
        • Publish Date:
        • Publish Location: Wrocław

        “LOTOS” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

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

        Online Marketplaces

        Find LOTOS at online marketplaces:


        7Communication protocol specification and verification

        By

        Book's cover

        “Communication protocol specification and verification” Metadata:

        • Title: ➤  Communication protocol specification and verification
        • Author:
        • Language: English
        • Number of Pages: Median: 304
        • Publisher: Kluwer Academic
        • Publish Date:
        • Publish Location: Boston

        “Communication protocol specification and verification” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

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

        Online Marketplaces

        Find Communication protocol specification and verification at online marketplaces:


        Top of Page