Cookies
We need your consent to use the individual data so that you can see information about your interests, among other things. Click "OK" to give your consent.
ISO/IEC 13568-ed.1.0
Information technology - Z formal specification notation - Syntax, type system and semantics
Translate name
STANDARD published on 4.7.2002
| Language | |
| Format |
|
| Availability | IN STOCK |
| Price | ONREQUEST excl. VAT |
| ON REQUEST | |
|
Order including corrections
|
The information about the standard:
Designation standards: ISO/IEC 13568-ed.1.0
Publication date standards: 4.7.2002
SKU: NS-940911
The number of pages: 189
Approximate weight : 598 g (1.32 lbs)
Country: International technical standard
Category: Technical standards ISO
The category - similar standards:
Annotation of standard text ISO/IEC 13568-ed.1.0 :
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.
These corrections apply to this standard:
ISO/IEC 13568-ed.1.0/Cor.1
Correction
Show all technical information.
Information technology - Z formal specification notation - Syntax, type system and semantics - Technical Corrigendum 1
Correction published on 11.7.2007
Selected format:Show all technical information.
We recommend:
Technical standards updating
Do you want to make sure you use only the valid technical standards?
We can offer you a solution which will provide you a monthly overview concerning the updating of standards which you use.
Would you like to know more? Look at this page.
