Standard

NEK ISO/IEC 13568:2002

jul 2002 Publisert

Logg inn eller registrer deg for å legge til som favoritt.
Logg på eller registrer deg for å få varsler når nye versjoner eller tillegg til denne standarden gjøres tilgjengelig.

Rettelser og tillegg kjøpes separat.

Språk Engelsk

Tjenester Lese online (Ingen utskrift) kr 3 528,00 Trykket og innbundet Plugins.Misc.SDTheme.Product.Variant.ShippingDescription kr 4 410,00

There are no extended editions available for this standard

Åpne produkt
Publisert NEK ISO/IEC 13568:2002/COR1:2007 Corrigendum fra Publiseringsdato: jul 2007 Versjon: 1 Språk: Engelsk Tjenester: Lese online (Ingen utskrift), Trykket og innbundet

Omfang

The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site. 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.

Dokumentinformasjon

Standard fra NEK
Publisert: 4. juli 2002
Utgave: 1.0
Versjon: 1
Varetype: NAT
Products.Specs.pages
ISBN:

ICS 35.060
National Committee ISO/IEC JTC 1/SC 22

NEK ISO/IEC 13568:2002

Opprett abonnement

Fordeler med et abonnement:

Omfang

Dokumentinformasjon

Extended editions Extended editions (0)

Version history Inkluderte rettelser og tillegg (1)

NEK ISO/IEC 13568:2002/COR1:2007

Omfang

Dokumentinformasjon