LOTOSphere: Software Development with LOTOS
. Ed(S): Bolognesi, Tommaso; Lagemaat, Jeroen Van De; Vissers, Chris A.
€ 196.53
FREE Delivery in Ireland
Description for LOTOSphere: Software Development with LOTOS
Paperback. Editor(s): Bolognesi, Tommaso; Lagemaat, Jeroen van de; Vissers, Chris A. Num Pages: 488 pages, biography. BIC Classification: THR; UMA; UMX; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 26. Weight in Grams: 814.
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 advantages than the pure production of standard reference documents were to be expected from the use of such formal description techniques.
LOTOSphere: Software Development with LOTOS describes in depth a five year project that moved LOTOS out of the ISO tower into software engineering ... Read more
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 advantages than the pure production of standard reference documents were to be expected from the use of such formal description techniques.
LOTOSphere: Software Development with LOTOS describes in depth a five year project that moved LOTOS out of the ISO tower into software engineering ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag New York Inc. United States
Number of pages
488
Condition
New
Number of Pages
488
Place of Publication
New York, NY, United States
ISBN
9781461359241
SKU
V9781461359241
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for LOTOSphere: Software Development with LOTOS