NA 043
DIN-Normenausschuss Informationstechnik und Anwendungen (NIA)
Norm
[AKTUELL]
ISO/IEC 13568 Technical Corrigendum 1
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