
ISO 13568:2002
ISO 13568:2002 Information technology – Z formal specification notation – Syntax, type system and semantics
CDN $0.00
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
Format 
Secure PDF
Secure – PDF details
- Save your file locally or view it via a web viewer
- Viewing permissions are restricted exclusively to the purchaser
- Device limits - 3
- Printing – Enabled only to print (1) copy
See more about our Environmental Commitment
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:
Related Documents
-

ISO 18661:2015 Information Technology – Programming languages, their environments, and system software interfaces – Floating-point extensions for C – Part 2: Decimal floating-point arithmetic
CDN $379.00 Add to cart -

ISO 1539:2023 Programming languages – Fortran – Part 1: Base language
CDN $438.00 Add to cart -

ISO 24718:2025 Information technology – Programming languages – Guidance for the use of the Ada Ravenscar Profile in high integrity systems
CDN $0.00 Add to cart -

ISO 21838:2023 Information technology – Top-level ontologies (TLO) – Part 3: Descriptive ontology for linguistic and cognitive engineering (DOLCE)
CDN $0.00 Add to cart







