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.

Hydrogen Technologies Standards form the basic framework for market ramp-up
More information
Climate change Standards and specifications support climate targets
More information
Smart Farming Standards and specifications are drivers for the digitalization of agriculture
More information

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

Want to learn more?

Show

Preferred form of address

Male

Female

Neutral

First name*

Last name*

E-mail*

Phone no.

Subject

Message*

Security code*

Here you can find our privacy policy

*Required field