Low prices! Originals & Official Editions! Save your budget and time!
standardsupdate.com: Standards Update Online Store
Contacts
  1. Home
  2. INTERNATIONAL ORGANIZATION FOR STANDARDIZATION-INTERNATIONAL ELECTROTECHNICAL COMMISSION
  3. ISO/IEC 13568:2002 PDF

ISO/IEC 13568:2002 PDF

ISO/IEC 13568:2002 PDF

Name:
ISO/IEC 13568:2002 PDF

Published Date:
07/01/2002

Status:
Active

Description:

Information technology - Z formal specification notation - Syntax, type system and semantics

Publisher:
International Organization for Standardization/International Electrotechnical Commission

Document status:
Active
Format:
Electronic (PDF)
Delivery time:
10 minutes
Delivery time (for Czech version):
200 business days
SKU:
iso-iec-13568-2002_1035812
Choose Document Language:
83.40 €
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 , 1.2 MB
Note : This product is unavailable in Russia, Ukraine, Belarus
Number of Pages : 189
Published : 07/01/2002
Same As : ISO/IEC 13568:2002

History

Related products

ISO/IEC 10967-1:2012
ISO/IEC 10967-1:2012
Published Date: 07/15/2012
Information technology - Language independent arithmetic - Part 1: Integer and floating point arithmetic
83.40 €
ISO/IEC 13751:2001
ISO/IEC 13751:2001
Published Date: 02/01/2001
Information technology -- Programming languages, their environments and system software interfaces -- Programming language Extended APL
83.40 €

Best-Selling Products

ISO/IEC/IEEE 12207-2:2020
ISO/IEC/IEEE 12207-2:2020
Published Date: 08/01/2020
Systems and software engineering - Software life cycle processes - Part 2: Relation and mapping between ISO/IEC/IEEE 12207:2017 and ISO/IEC 12207:2008
83.40 €
ISO/IEC/IEEE 14764:2022
ISO/IEC/IEEE 14764:2022
Published Date: 08/01/2022
Software engineering - Software life cycle processes - Maintenance
66.90 €
ISO/IEC/IEEE 15026-1:2019
ISO/IEC/IEEE 15026-1:2019
Published Date: 08/01/2019
Systems and software engineering - Systems and software assurance - Part 1: Concepts and vocabulary
58.20 €
ISO/IEC/IEEE 15026-2:2022
ISO/IEC/IEEE 15026-2:2022
Published Date: 10/31/2022
Systems and software engineering - Systems and software assurance - Part 2: Assurance case
49.80 €
ISO/IEC/IEEE 15026-3:2023
ISO/IEC/IEEE 15026-3:2023
Published Date: 11/01/2023
Systems and software engineering - Systems and software assurance - Part 3: System integrity levels
49.80 €
ISO/IEC/IEEE 15026-4:2021
ISO/IEC/IEEE 15026-4:2021
Published Date: 08/01/2021
Systems and software engineering - Systems and software assurance - Part 4: Assurance in the life cycle
66.90 €