Standard

ISO/IEC 13568:2002

Jul 2002 Aktuell

Anmelden oder Registrieren um zu den Favoriten hinzuzufügen.
Anmelden oder Registrieren, um Benachrichtigungen zu erhalten, wenn neue Versionen oder Ergänzungen zu diesem Artikel zur Verfügung gestellt werden.

Vorschau Externer Link

Bestehende oder zukünftige Amendments und Versionen müssen separat erworben werden.

Sprache Englisch

Format Online + PDF CHF 0.00 Online CHF 0.00

Für diese Norm sind keine erweiterten Ausgaben verfügbar

Öffnen
Aktuell ISO/IEC 13568:2002/Cor 1:2007 Corrigendum von Ausgabedatum: Jul 2007 Sprache: Englisch Format: Online, Online + PDF

Zusammenfassung

The following are within the scope of this International Standard: _ the syntax of the Z notation; _ the type system of the Z notation; _ the semantics of the Z notation; _ a toolkit of widely used mathematical operators; _ LATEX [10] and e-mail mark-ups of the Z notation. The following are outside the scope of this International Standard: _ any method of using Z, though an informative annex (E) describes one widely-used convention.

Produktspezifikationen

Standard von ISO/IEC
Ausgabedatum: 4. Juli 2002
Edition: 1
Dokumenttyp: IS
Seiten
ISBN:

Herausgeber: ISO/IEC
Lieferant: ISO/IEC
ICS: 35.060
Internationales Komitee: ISO/IEC JTC 1/SC 22

Produktbeziehungen

Joint work item: ISO/IEC 13568:2002

Abonnement anlegen

Extended editions Weitere Ausgaben (0)

Version history Zugehörige Corrigenda und Amendments (1)