2. Getting involved
  3. Standards Committees
  4. NIA
NA 043

DIN Standards Committee Information Technology and IT Applications

About NIA Projects Drafts Publications Documents withdrawn without replacement National committees European committees International committees
Standards [CURRENT]

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

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 2002-07
Original language English
Price from 239.00 €
Order from DIN Media
Table of contents

Contact

Johannes Wellhöfer

Am DIN-Platz, Burggrafenstr. 6
10787 Berlin

Tel.: +49 30 2601-2455
Fax: +49 30 2601-42455

Send message to contact