DS/ISO/IEC 13568:2003
Информационные технологии. Нотация формальной спецификации Z. Синтаксис, система типов и семантика.

Стандартный №

DS/ISO/IEC 13568:2003

Дата публикации

2003

Разместил

Danish Standards Foundation

состояние

быть заменен 2008-02

быть заменен

DS/ISO/IEC 13568/Corr. 1:2008

Последняя версия

DS/ISO/IEC 13568/Corr. 1:2008

сфера применения

В сферу действия настоящего международного стандарта входят: 　——синтаксис нотации Z - система типов нотации Z - семантика нотации Z - набор широко используемых математических операторов - некоторые разметки нотации Z Следующее выходит за рамки настоящего международного стандарта: 　——любой метод использования Z через информативное приложение (E) описывает одно широко используемое соглашение.

DS/ISO/IEC 13568:2003 История

• 2008 DS/ISO/IEC 13568/Corr. 1:2008 Информационные технологии. Нотация формальной спецификации Z. Синтаксис, система типов и семантика.
• 2003 DS/ISO/IEC 13568:2003 Информационные технологии. Нотация формальной спецификации Z. Синтаксис, система типов и семантика.