Don't have a credit card? Never mind we support BANK TRANSFER .

Log inSign up
LANGUAGE en
Menu
STOREHelp centerContactsDelivery chargesABOUT US News
SEARCH
0
Total price
0 EUR
PRICES include / exclude VAT
>ISO Standards>ISO/IEC 13568:2002-Information technology — Z formal specification notation — Syntax, type system and semantics
Not available online - contact us!
immediate downloadReleased: 2002
ISO/IEC 13568:2002-Information technology — Z formal specification notation — Syntax, type system and semantics

ISO/IEC 13568:2002

ISO/IEC 13568:2002-Information technology — Z formal specification notation — Syntax, type system and semantics

CURRENCY
255 EUR
Standard´s number:ISO/IEC 13568:2002
Pages:189
Edition:1
Released:2002
Language:English
DESCRIPTION

ISO/IEC 13568:2002


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.
Print