Поиск

BS ISO/IEC 13568:2002

Действующий

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

ISO/IEC 13568:2002

Действующий

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

ISO/IEC 13568:2002 - Overview ISO/IEC 13568:2002 defines the Z formal specification notation used in information technology. This International Standard specifies the syntax, type system, and semanti…