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
Language
English
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 1539:2000 Information technology – Programming languages – Fortran – Part 2: Varying length character strings
CDN $233.00 Add to cart -
ISO 18661:2025 Programming languages, their environments, and system software interfaces – Floating-point extensions for C – Part 5: Supplementary attributes
CDN $233.00 Add to cart -
ISO 21838:2023 Information technology – Top-level ontologies (TLO) – Part 3: Descriptive ontology for linguistic and cognitive engineering (DOLCE)
CDN $115.00 Add to cart -
ISO 18661:2014 Information technology – Programming languages, their environments, and system software interfaces – Floating-point extensions for C – Part 1: Binary floating-point arithmetic
CDN $351.00 Add to cart
