Saltar navegación principal
Códigos ISO – AENOR
ISO 8807:1989

ISO 8807:1989

Information processing systems -- Open Systems Interconnection -- LOTOS -- A formal description technique based on the temporal ordering of observational behaviour

Systèmes de traitement de l'information -- Interconnexion de systèmes ouverts -- LOTOS -- Technique de description formelle basée sur l'organisation temporelle de comportement observationnel

Fecha:
1989-02-09 / Vigente
Comité:
ISO/IEC JTC 1/SC 7 - Software and systems engineering
180,23
Idioma Formato

Formato digital

Nota: Precios sin IVA ni gastos de envío

Añadir a la cesta