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 19583:2025 Information technology – Concepts and usage of metadata – Part 21: 11179-3, -31, -32 Data model in SQL
CDN $352.00 Add to cart -
ISO 19516:2020 Information technology – Object management group – Interface definition language (IDL) 4.2
CDN $442.00 Add to cart -
ISO 19514:2017 Information technology – Object management group systems modeling language (OMG SysML)
CDN $0.00 Add to cart -
ISO 19507:2012 Information technology – Object Management Group Object Constraint Language (OCL)
CDN $0.00 Add to cart
