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 259.90 €
Order from DIN Media
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