Don't have a credit card? Never mind we support BANK TRANSFER .

PRICES include / exclude VAT
Homepage>IEC Standards>ISO/IEC 13568:2002 - Information technology - Z formal specification notation - Syntax, type system and semantics
download between 0-24 hoursReleased: 2002-07-04

ISO/IEC 13568:2002

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

Format
Availability
Price and currency
English PDF
Immediate download
0.00 EUR
English Hardcopy
in stock
0.00 EUR
Standard number:ISO/IEC 13568:2002
Released:2002-07-04
Edition:1
ICS:35.060
Pages (English):189
DESCRIPTION

ISO/IEC 13568:2002

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.