Найдено: 2
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…