Name:
DANSK DS/ISO/IEC 13568 PDF
Published Date:
12/05/2002
Status:
[ Active ]
Publisher:
Dansk Standard
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 - some mark-ups of the Z notation The following are outside the scope of this International Standard: - any method of using Z, through an informative annex (E) describes one widely-used convention.
| Edition : | 02 |
| File Size : | 1 file , 1.1 MB |
| Number of Pages : | 198 |
| Product Code(s) : | DS-181, DS-181 |
| Published : | 12/05/2002 |
