ISO

ISO 8807:1989

Системы обработки информации. Взаимосвязь открытых систем. LOTOS. Техника формального описания, основанная на временном упорядочении наблюдаемого поведения

Системы обработки информации. Взаимосвязь открытых систем. LOTOS. Техника формального описания, основанная на временном упорядочении наблюдаемого поведения

Страниц 142

Язык Английский (Великобритания)

МКС 35.060

Разработчик JTC 1/SC 7

Дата регистрации 01.02.1989

Действует с 01.02.1989

Здравствуйте! Я Айгерим — помогу с подбором стандартов.