BS ISO/IEC 13568:2002 PDF

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

Open preview (PDF)Information technology. Z formal specification notation. Syntax, type system and semantics.

Title (English):

BS ISO/IEC 13568:2002

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

Document status:

Active

Format:

Electronic (PDF)

Number of pages:

198

Publication date:

August 8, 2002

SKU:

BS ISO/IEC 13568:2002