Search BSI Knowledge
Cookie Settings
BS ISO/IEC 13568:2002 | 8 Aug 2002 | BSI Knowledge
Standard
BS ISO/IEC 13568:2002
Information technology. Z formal specification notation. Syntax, type system and semantics
Current, Under Review
•
Published:
8 Aug 2002
Overview
Preview
References
History
Visit the preview section for more information
Product Details
Descriptors
Data processing
Syntax
Specification languages
Programming languages
Information exchange
Semantics
ICS Codes
35.060 Languages used in information technology
Committee
IST/5
International relationships
Identical to:
ISO/IEC 13568:2002
ISBN
0 580 40198 7
Publisher
BSI