ISO/IEC 13568:2002/COR1:2007
Information technology - Z formal specification notation - Syntax, type system and semantics - Technical Corrigendum 1
OVERVIEW
COMMENTS
-
PRODUCT DETAILS
| Status | Current |
|---|---|
| Edition | 2007 |
| No. of Pages | 10 |
| ICS Classification | 35.060 Languages used in information technology |
| Committee | ISO/IEC JTC 1/SC 22 |
| Available for Purchase | For sale in Singapore only |
| Adoption | IEC |