Norm

NEN-ISO/IEC 13568:2002 en

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

Volledig inclusief:

164,52

Over deze norm

Status Definitief
Aantal pagina's 196
Commissie Programming languages , their environments and system software interfaces
Gepubliceerd op 01-08-2002
Taal Engels
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
Nederlandse titel Information technology - Z formal specification notation - Syntax, type system and semantics
Engelse titel Information technology - Z formal specification notation - Syntax, type system and semantics
Gewijzigd door

Winkelwagen

Subtotaal:

Ga naar winkelwagen