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]

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

Edition 2002-08-08

Original language English

Price from 403.40 €

Order from DIN Media

Table of contents

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

Economic benefits

DIN SPEC

Why do standards cost money?

Get involved in standardization

Terminology

Hydrogen Technologies Standards form the basic framework for market ramp-up

Climate change Standards and specifications support climate targets

Smart Farming Standards and specifications are drivers for the digitalization of agriculture

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

Want to learn more?

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