Damit wir unsere Webseiten nutzerfreundlicher gestalten und fortlaufend verbessern, verwenden wir Cookies. Wenn Sie die Webseiten weiter nutzen, stimmen Sie dadurch der Verwendung von Cookies zu. Weitere Informationen erhalten Sie in unseren Datenschutzhinweisen und unserer Cookie-Richtlinie.

- Notwendig
- Funktional
- Personalisierung
- Notwendig
  Diese Cookies sind für den Betrieb der Seite unbedingt notwendig und ermöglichen beispielsweise sicherheitsrelevante Funktionalitäten. Außerdem können wir mit dieser Art von Cookies ebenfalls erkennen, ob Sie in Ihrem Profil eingeloggt bleiben möchten, um Ihnen unsere Dienste bei einem erneuten Besuch unserer Seite schneller zur Verfügung zu stellen.
- Funktional
  Um unser Angebot und unsere Webseite weiter zu verbessern, erfassen wir anonymisierte Daten für Statistiken und Analysen. Mithilfe dieser Cookies können wir beispielsweise die Besucherzahlen und den Effekt bestimmter Seiten unseres Web-Auftritts ermitteln und unsere Inhalte optimieren.
- Personalisierung
  Wir nutzen diese Cookies, um Ihnen die Bedienung der Seite zu erleichtern. So können Sie beispielsweise auf Basis einer vorherigen (z. B. Produktsuche) bei einem erneuten Besuch unserer Webseite komfortabel auf selbige zurückgreifen.

Normungsroadmap Wasserstofftechnologien Laden Sie sich hier die Roadmap herunter
Jetzt downloaden
DIN-Mitglied werden Profitieren Sie von vielen Vorteilen
Mehr erfahren

Norm [AKTUELL]

CAN/CSA-ISO/IEC 13568-04
Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics

Titel (englisch)

Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics

Ausgabe 2004-01-01

Originalsprache Englisch

Preis ab 315,70 €

Kaufen bei DIN Media

Inhaltsverzeichnis

Haben Sie noch Fragen?

Öffnen

Bevorzugte Anrede

Männlich

Weiblich

Neutral

Vorname*

Nachname*

E-Mail*

Telefon

Zu welchem Thema?

Ihre Nachricht*

Sicherheitscode*

Hier finden Sie unsere Datenschutzerklärung

*Pflichtfeld

Normen kaufen

DIN SPEC-Film

DIN-Mitglied werden

Mitmachen in der Normung und Standardisierung

DIN Verbraucherrat

Normungsroadmap Wasserstofftechnologien Laden Sie sich hier die Roadmap herunter

DIN-Mitglied werden Profitieren Sie von vielen Vorteilen

CAN/CSA-ISO/IEC 13568-04 Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics

Haben Sie noch Fragen?

CAN/CSA-ISO/IEC 13568-04
Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics