Public Groups Area » Public ProjectView » Public Project Overview

Project Overview

INCITS/ISO/IEC 13568:2002[R2017]: Information technology - Z formal specification notation - Syntax, type system and semantics (Inactive)

page=project_overview&type=project
Project Type:
Adoption of International Standard (ANSI)
Project Contact:
INCITS Secretariat
Project State:
Withdrawn
Updated:
2023-02-10

Start: 2017-03-20 Completed: 2017-11-02

100% Complete
Share |

Project Details

Title of Standard:

Information technology - Z formal specification notation - Syntax, type system and semantics

Includes ISO or IEC standard Text?:

Yes

Scope Summary:

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; L A T E X [10] and e-mail mark-up.

Single Copy Price:

$116.00

Purchase from:

ANSI

Send Comments To:

comments@standards.incits.org

Patent Declarations Received:

No