ISO/IEC 13568:2002

Последний раз этот стандарт был пересмотрен в 2021. Поэтому данная версия остается актуальной

The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site

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.

Текущий статус
: Published

Дата публикации
: 2002-07
Версия
: 1
Технический комитет
: ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces
ICS
:
35.060 Languages used in information technology

	Формат	Язык
std 1 208	Бумажный

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

Работа с клиентами

+41 22 749 08 88

Часы работы:
Понедельник – пятница: 09:00-12:00, 14:00-17:00 (UTC+1)

Подписывайтесь на наши новости, обзоры, а также на информацию о продуктах.