Reference number
ISO/IEC 13568:2002
© ISO 2025
International Standard
ISO/IEC 13568:2002
Information technology — Z formal specification notation — Syntax, type system and semantics
Edition 1
2002-07
Preview
недоступно на русском языке
Опубликовано (Версия 1, 2002)
Последний раз этот публикация был пересмотрен в  2021. Поэтому данная версия остается актуальной.

ISO/IEC 13568:2002

Язык
Формат
CHF 0
Pасходы на перевозку должны оплачиваться

Тезис

The following are within the scope of this International Standard:

_ the syntax of the Z notation;

_ the type system of the Z notation;

_ the semantics of the Z notation;

_ a toolkit of widely used mathematical operators;

_ LATEX [10] and e-mail mark-ups of the Z notation.

The following are outside the scope of this International Standard:

_ any method of using Z, though an informative annex (E) describes one widely-used convention.

Общая информация

  • Текущий статус
     : Опубликовано
    Дата публикации
     : 2002-07
    Этап
    : Подтверждение действия международного стандарта [90.93]
  • Версия
     : 1
  • Технический комитет :
    ISO/IEC JTC 1/SC 22
    ICS :
    35.060 
  • RSS обновления

Жизненный цикл

Появились вопросы?

Ознакомьтесь с FAQ

  2. Интернет-магазин
  3. Интернет-магазин
  4. МКС
  5. 35
  6. 35.060
  7. ISO/IEC 13568:2002