ISO/IEC 13568:2002

Information technology — Z formal specification notation — Syntax, type system and semantics

Technologies de l'information — Notation Z pour la spécification formelle — Syntaxe, système de caractères et sémantique

Fecha:

2002-07-04 / Published

ICS:

Comité:

ISO/IEC JTC 1/SC 22 - Programming languages, their environments and system software interfaces

Relación con otras normas ISO:

Esta norma está disponible en:

Formato digital

Ingles