Sky Bear Technical Standards - Home
Search
×
FR

Placeholder headline

This is just a placeholder headline

B51-14 (R2019) – Boiler, pressure vessel, and pressure piping code

$

362

BUY NOW

ISO 13568:2002

ISO 13568:2002 Information technology – Z formal specification notation – Syntax, type system and semantics

CDN $0.00

SKU: df29438f24aa Category:

Description

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.

Edition

1

Published Date

2002-07-04

Status

PUBLISHED

Pages

189

Language Detail Icon

English

Format Secure Icon

Secure PDF

Abstract

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.

Previous Editions

Can’t find what you are looking for?

Please contact us at: