LOTOSphere: Software Development with LOTOS

LOTOSphere: Software Development with LOTOS edited by Tommaso Bolognesi, Jeroen van de Lagemaat, Chris Vissers.

LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of the ISO/OSI family dates back to 1984. This history of the use of LOTOS made it apparent that more adv...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Bolognesi, Tommaso (Editor), van de Lagemaat, Jeroen (Editor), Vissers, Chris (Editor)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 1995.
Edition:1st ed. 1995.
Series:Springer eBook Collection.
Subjects:
Programming languages (Electronic computers).
Software engineering.
Artificial intelligence.
Microprocessors.
Electrical engineering.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items