Customer Support: +1 416-401-8730

Login to i2i Subscription Intertek.com
  • There are no items in your cart
Please enter a keyword to search
Advanced search

ISO/IEC 13568:2002

Current
Current

The latest, up-to-date edition.

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

ISO/IEC 13568:2002/Cor 1:2007

Available format(s)

Hardcopy , PDF , PDF 3 Users , PDF 5 Users , PDF 9 Users

Published date

07-04-2002

Publisher

International Organization for Standardization

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.

DocumentType
Standard
Pages
189
PublisherName
International Organization for Standardization
Status
Current

INCITS/ISO/IEC 13235-1 : 1998 INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - TRADING FUNCTION: SPECIFICATION
CSA ISO/IEC 10746-4 : 2001 : INC : AMD 1 : 2003 : R2014 INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
INCITS/ISO/IEC 10746-4 : 1998 INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
CSA ISO/IEC 10746-4 : 2001 : R2014 INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
ISO/IEC TR 14369:2018 Information technology Programming languages, their environments and system software interfaces Guidelines for the preparation of language-independent service specifications (LISS)
BS ISO/IEC 10746-4:1998 Information technology. Open distributed processing. Reference model Architectural semantics
INCITS/ISO/IEC 13235-1 : 1998 : R2007 INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - TRADING FUNCTION: SPECIFICATION
BS ISO/IEC 13235-1:1998 Information technology. Open distributed processing. Trading function Specification
ANSI INCITS 359 : 2012 INFORMATION TECHNOLOGY - ROLE BASED ACCESS CONTROL
INCITS/ISO/IEC 10746-4 : 1998 : R2007 INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
ANSI INCITS 494 : 2012 INFORMATION TECHNOLOGY - ROLE BASED ACCESS CONTROL - POLICY-ENHANCED
CSA ISO/IEC 10746-4 : 2001 : INC : AMD 1 : 2003:R2009 INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
CSA ISO/IEC 10746-4 : 2001 : FR INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS

ISO/IEC 14977 : 1996(R2018) INFORMATION TECHNOLOGY - SYNTACTIC METALANGUAGE - EXTENDED BNF
ISO/IEC 10646-2:2001 Information technology Universal Multiple-Octet Coded Character Set (UCS) Part 2: Supplementary Planes
ISO/IEC 14977:1996 Information technology — Syntactic metalanguage — Extended BNF
ISO/IEC 646:1991 Information technology ISO 7-bit coded character set for information interchange
ISO/IEC 10646-1:2000 Information technology Universal Multiple-Octet Coded Character Set (UCS) Part 1: Architecture and Basic Multilingual Plane

View more information
US$251.00
Excluding Tax where applicable
USD
CAD
CHF
CNY
DKK
EUR
GBP
HKD
IDR
INR
JPY
KRW
MXN
NOK
NZD
SEK
SGD
USD
ZAR
Hardcopy - English
PDF - English
PDF 3 Users - English
PDF 5 Users - English
PDF 9 Users - English
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

Access your standards online with a subscription

Features

  • Simple online access to standards, technical information and regulations.

  • Critical updates of standards and customisable alerts and notifications.

  • Multi-user online standards collection: secure, flexible and cost effective.

Learn more on subscription solutions

or

Get in touch with us