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 1538:1984 Programming languages – ALGOL 60
CDN $124.00 Add to cart -
ISO 1539:2023 Programming languages – Fortran – Part 1: Base language
CDN $422.00 Add to cart -
ISO 24772:2024 Programming languages – Avoiding vulnerabilities in programming languages – Part 1: Language-independent catalogue of vulnerabilities
CDN $0.00 Add to cart -
ISO 21838:2021 Information technology – Top-level ontologies (TLO) – Part 2: Basic Formal Ontology (BFO)
CDN $0.00 Add to cart
