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
Home
BSI
BS ISO/IEC 13568:2002

BS ISO/IEC 13568:2002

Current

Current

The latest, up-to-date edition.

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

Available format(s)

Hardcopy , PDF

Language(s)

English

Published date

08-08-2002

Publisher

British Standards Institution

Foreword
Introduction
1 Scope
2 Normative references
3 Terms and definitions
4 Metalanguages
5 Conformance
6 Z characters
7 Lexis
8 Concrete syntax
9 Characterisation rules
10 Annotated syntax
11 Prelude
12 Syntactic transformation rules
13 Type inference rules
14 Semantic transformation rules
15 Semantic relations
 Annex A (normative) Mark-ups
Annex B (normative) Mathematical toolkit
Annex C (normative) Organisation by concrete syntax production
Annex D (informative) Tutorial
Annex E (informative) Conventions for state-based descriptions
Bibliography
Index
Figures
Tables

Includes: 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 and LATEX [10] and e-mail mark-ups of the Z notation.

Committee
IST/5
DevelopmentNote
Supersedes 00/644625 DC (08/2002)
DocumentType
Standard
Pages
198
PublisherName
British Standards Institution
Status
Current
Supersedes

Standards Relationship
ISO/IEC 13568:2002 Identical

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$426.44
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
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