ISO 8807 Information Processing Systems - Open Systems Interconnection - LOTOS - a Formal Description Technique Based on the Temporal Ordering of Observational Behaviour - First Edition
Список продуктов
Данный раздел/документ содержится в продуктах:
Данный раздел/документ содержится в продуктах:
- Техэксперт: Машиностроительный комплекс
- Картотека зарубежных и международных стандартов
- BSI BS ISO/IEC TR 14369 Information Technology - Programming Languages, Their Environments and System Software Interfaces - Guidelines for the Preparation of Language-Independent Service Specifications (LISS)
- 35
- Картотека зарубежных и международных стандартов
На него ссылаются
- В списке элементов: 4
- BSI PD ISO/IEC TR 14369 Information Technology - Programming Languages, Their Environments and System Software Interfaces - Guidelines for the Preparation of Language-Independent Service Specifications (LISS)Информационные технологии - языки программирования, их среды и интерфейсы системного программного обеспечения - инструкции для подготовки Language-Independent Service Specifications (LISS)
Карточка документа - ISO ISO/IEC TR 14369 Information technology - Programming languages, their environments and system software interfaces - Guidelines for the preparation of Language-Independent Service Specifications (LISS) - First EditionИнформационные технологии - Языки программирования, их среды и интерфейсы системного программного обеспечения - Инструкции для подготовки Language-Independent Service Specifications (LISS) - Первый Выпуск
Карточка документа - IEC 61508 SET REDLINE Functional Safety of Electrical/Electronic/programmable Electronic Safety - Related Systems Set *** Contains IEC 61508-1 Through IEC 61508-7*** - Edition 2.0; All Retail Customer Must Purchase the DVDФункциональная Безопасность Электрической/Электронной/программируемой Электронной Безопасности - Связанный Системный Набор *** Содержит IEC 61508-1 Через IEC 61508-7 *** - Выпуск 2.0; Весь Розничный Клиент Должен Купить DVD
Карточка документа - CSA CAN/CSA-ISO/IEC 10746-4-01 AMD 1 Information technology - Open Distributed Processing - Reference Model: Architectural semantics AMENDMENT 1: Computational formalizationИнформационные технологии - Открытая распределенная обработка - Эталонная модель: Архитектурная ПОПРАВКА 1 семантики: Вычислительная формализация
Карточка документа
