NA 043

DIN-Normenausschuss Informationstechnik und Anwendungen (NIA)

Norm [AKTUELL]

ISO/IEC 13568 Technical Corrigendum 1
Informationstechnik - Z-Notation; Formelle Beschreibung - Syntax, Typsystem und Semantik

Titel (englisch)

Information technology - Z formal specification notation - Syntax, type system and semantics; Technical Corridendum 1

Zuständiges nationales Arbeitsgremium

NA 043-01-22 AA - Programmiersprachen  

Zuständiges internationales Arbeitsgremium

ISO/IEC JTC 1/SC 22 - Programmiersprachen  

Ausgabe 2007-07
Originalsprache Englisch
Inhaltsverzeichnis

Ihr Kontakt

Boris Reznicek

Am DIN-Platz, Burggrafenstr. 6
10787 Berlin

Tel.: +49 30 2601-2327
Fax: +49 30 2601-42327

Zum Kontaktformular