Active standard | Published: 04/07/2002

ISO/IEC 13568-ed.1.0

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

Available languages: English

Available design: electronic design (pdf), Print design, CD-ROM

from 1.20 USD show on eshop

Detail information

Designation: ISO/IEC 13568-ed.1.0

Publication date: 04/07/2002

Pages: 189

Country: International technical standard

Where to buy?

You can buy at www.mystandards.biz

Anotation

The following are within the scope of this International Standard: _ the syntax of the Z notation; _ the type system of the Z notation; _ the semantics of the Z notation; _ a toolkit of widely used mathematical operators; _ LATEX [10] and e-mail mark-ups of the Z notation. The following are outside the scope of this International Standard: _ any method of using Z, though an informative annex (E) describes one widely-used convention.

Popular Publishers

full catalog