Concat us[email protected]
Shopping Cart

No products in the cart.

🔍
BS ISO 8807:1989:1990 Edition

BS ISO 8807:1989:1990 Edition

$215.11

Information processing systems. Open systems interconnection. LOTOS. A formal description technique based on the temporal ordering of observational behaviour

Published By Publication Date Number of Pages
BSI 1990 126
PDF Format Searchable Printable Preview Now
Guaranteed Safe Checkout
Categories: ,

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

Technique that is in general use for the formal description of distributed concurrent information processing systems. In particular the service definitions and protocol specifications described in BS 6568 can be described formally in LOTOS.

Related products

  • AS/NZS 4199:1994

    AS/NZS 4199:1994

    Information processing systems – Open Systems Interconnection – LOTOS – A formal description technique based…

    $66.95 Add to cart
  • ISO 8807:1989

    ISO 8807:1989

    Information processing systems — Open Systems Interconnection — LOTOS — A formal description technique based…

    $55.25 Add to cart
BS ISO 8807:1989
$215.11