NEN ISO/IEC 13568 : 2002 C1 2007
Current
Current
The latest, up-to-date edition.
INFORMATION TECHNOLOGY - Z FORMAL SPECIFICATION NOTATION - SYNTAX, TYPE SYSTEM AND SEMANTICS
Published date
12-01-2013
Publisher
Defines 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 and LATEX [10] and e-mail mark-ups of the Z notation.
Sorry this product is not available in your region.
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.