Search BSI Knowledge
Cookie Settings
ISO/IEC 13568:2002 | 1 Jul 2002 | BSI Knowledge
Standard
Shop Exclusive
ISO/IEC 13568:2002
ISO/IEC13568 : 2002 Information technology- Z formal specification notation - Syntax, type system and semantics
Current, Under Review
•
Published:
1 Jul 2002
Overview
Preview
References
History
Visit the preview section for more information
Product Details
Descriptors
—
ICS Codes
35.060 Languages used in information technology
Committee
IST/5
International relationships
—
ISBN
—
Publisher
ISO, IEC