ISO/IEC 13568:2002
Информационные технологии. Нотация формальной спецификации Z. Синтаксис, система типов и семантика.
- Стандартный №
- ISO/IEC 13568:2002
- Дата публикации
- 2002
- Разместил
- International Organization for Standardization (ISO)
- состояние
- быть заменен
- ISO/IEC 13568:2002/Cor 1:2007
- Последняя версия
- ISO/IEC 13568:2002/Cor 1:2007
- сфера применения
- В сферу применения настоящего международного стандарта входят: синтаксис обозначения Z; · система типов обозначения Z; · семантика нотации Z; · набор широко используемых математических операторов; · LATEX [10] и разметка электронной почты в Z-нотации. Нижеследующее выходит за рамки настоящего международного стандарта: · любой метод использования Z, хотя в информативном приложении (E) описано одно широко используемое соглашение.
ISO/IEC 13568:2002 История
- 2007 ISO/IEC 13568:2002/Cor 1:2007 Информационные технологии. Нотация формальной спецификации Z. Синтаксис, система типов и семантика. Техническое исправление 1.
- 2002 ISO/IEC 13568:2002 Информационные технологии. Нотация формальной спецификации Z. Синтаксис, система типов и семантика.
