Cookies
Wir benötigen Ihre Einwilligung zur Verwendung der einzelnen Daten, damit Sie unter anderem Informationen zu Ihren Interessen einsehen können. Klicken Sie auf "OK", um Ihre Zustimmung zu erteilen.
ISO/IEC 13568-ed.1.0
Information technology - Z formal specification notation - Syntax, type system and semantics
Name übersetzen
NORM herausgegeben am 4.7.2002
| Sprache | |
| Realisierung |
|
| Zugänglichkeit | AUF LAGER |
| Preis | AUFANFRAGE ohne MWS |
| AUF ANFRAGE | |
|
Bestellen inkl. Korrekturen
|
Informationen über die Norm:
Bezeichnung normen: ISO/IEC 13568-ed.1.0
Ausgabedatum normen: 4.7.2002
SKU: NS-940911
Zahl der Seiten: 189
Gewicht ca.: 598 g (1.32 Pfund)
Land: Internationale technische Norm
Kategorie: Technische Normen ISO
Kategorie - ähnliche Normen:
Die Annotation des Normtextes ISO/IEC 13568-ed.1.0 :
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.
Zugehörige Korrekturen zu dieser Norm:
ISO/IEC 13568-ed.1.0/Cor.1
Korrektur
Alle technischen Informationen anzeigen
Information technology - Z formal specification notation - Syntax, type system and semantics - Technical Corrigendum 1
Korrektur herausgegeben am 11.7.2007
Ausgewählte Ausführung:Alle technischen Informationen anzeigen
Empfehlungen:
Aktualisierung der technischen Normen
Wollen Sie sich sicher sein, dass Sie nur die gültigen technischen Normen verwenden?
Wir bieten Ihnen eine Lösung, die Ihnen eine Monatsübersicht über die Aktualität der von Ihnen angewandten Normen sicher stellt.
Brauchen Sie mehr Informationen? Sehen Sie sich diese Seite an.
