CAN/CSA-ISO/IEC 13568-04 (R2022) PDF

CAN/CSA-ISO/IEC 13568-04 (R2022) PDF

Name:
CAN/CSA-ISO/IEC 13568-04 (R2022) PDF

Published Date:
12/31/2003

Status:
Active

Description:

Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics (Adopted ISO/IEC 13568:2002, first edition, 2002-07-01), Includes Technical Corrigendum 1:2008

Publisher:
Canada National Standard/Canadian Standards - ISO/IEC

Document status:
Active

Format:
Electronic (PDF)

Delivery time:
10 minutes

Delivery time (for Russian version):
200 business days

SKU:

Choose Document Language:
$88.5
Need Help?
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.


File Size : 1 file , 3.3 MB
Number of Pages : 200
Product Code(s) : 2416205, 2416205
Published : 12/31/2003

History


Related products

CAN/CSA-ISO/IEC 20161-04 (R2022)
Published Date: 01/01/2004
Information Technology - Telecommunications and Information Exchange Between Systems - Private Integrated Services Network - Use of QSIG at the C Reference Point Between a PINX and an Interconnecting Network (Adopted ISO/IEC 20161:2001, first edition, 2001-12-15)
$36.6
CAN/CSA-ISO/IEC 23001-2-08 (R2023)
Published Date: 09/01/2008
Information technology - MPEG systems technologies - Part 2: Fragment request units (Adopted ISO/IEC 23001-2:2008, first edition, 2008-02-01)
$39.9

Best-Selling Products

IDEA CL-2-2017
Published Date: 07/01/2017
IDW Attribute Value Guideline v05.05