We use cookies to make our website more user-friendly and to continually improve it. Please agree to the use of cookies in order to proceed with using our websites. More information can be found in our data protection information and our cookie guidelines.

- Required
- Functional
- Personalization
- Required
  These cookies are essential for the operation of the site and enable, for example, security-relevant functions. In addition, we can also use this type of cookie to determine whether you want to remain logged in to your profile in order to make our services available to you more quickly when you visit our website again.
- Functional
  In order to further improve our offer and our website, we collect anonymized data for statistics and analysis. With the help of these cookies we can, for example, determine the number of visitors and the effect of certain pages on our website and optimize our content.
- Personalization
  We use these cookies to make it easier for you to use the site. For example, based on a previous (e.g. product search), you can conveniently access it when you visit our website again.

Attention: Your browser doesn't support javascript or you have deactivated Javascript in your browser. Please enable Javascript in your browser in order to be able to use all functions of this website.

NA 043

DIN Standards Committee Information Technology and IT Applications

About NIA Projects Drafts Publications Documents withdrawn without replacement National committees European committees International committees

Standards [CURRENT]

ISO/IEC 13568 Technical Corrigendum 1
Information technology - Z formal specification notation - Syntax, type system and semantics; Technical Corridendum 1

Title (German)

Informationstechnik - Z-Notation; Formelle Beschreibung - Syntax, Typsystem und Semantik

Responsible national committee

NA 043-01-22 AA - Programming languages

Responsible international committee

ISO/IEC JTC 1/SC 22 - Programming languages, their environments and system software interfaces

Edition 2007-07

Original language English

Order from DIN Media

Table of contents

Contact

Johannes Wellhöfer

Am DIN-Platz, Burggrafenstr. 6
10787 Berlin

Tel.: +49 30 2601-2455
Fax: +49 30 2601-42455

Send message to contact

Economic benefits

DIN SPEC

Why do standards cost money?

Get involved in standardization

Terminology

DIN Standards Committee Information Technology and IT Applications

ISO/IEC 13568 Technical Corrigendum 1 Information technology - Z formal specification notation - Syntax, type system and semantics; Technical Corridendum 1

Responsible national committee

Responsible international committee

Johannes Wellhöfer

ISO/IEC 13568 Technical Corrigendum 1
Information technology - Z formal specification notation - Syntax, type system and semantics; Technical Corridendum 1