NA 043

DIN Standards Committee Information Technology and IT Applications

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
Table of contents

Contact

Boris Reznicek

Am DIN-Platz, Burggrafenstr. 6
10787 Berlin

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

Send message to contact