Standard

NEN-ISO/IEC 13568:2002 en

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

Fully inclusive:

164,52

About norm

Status Current
Number of pages 196
Committee Programming languages , their environments and system software interfaces
Published on 01-08-2002
Language English
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.

Details

ICS-code 35.060
Dutch title Information technology - Z formal specification notation - Syntax, type system and semantics
English title Information technology - Z formal specification notation - Syntax, type system and semantics
Changed by

Shopping Basket

Subtotal:

Go to shopping basket