BS ISO/IEC 13568:2002
$215.11
Information technology. Z formal specification notation. Syntax, type system and semantics
| Published By | Publication Date | Number of Pages |
| BSI | 2002 | 198 |
| Status | Confirmed |
|---|---|
| Pages | 198 |
| Publication Date | 2002-08-08 |
| ISBN | 0 580 40198 7 |
| Standard Number | BS ISO/IEC 13568:2002 |
| Title | Information technology. Z formal specification notation. Syntax, type system and semantics |
| Identical National Standard Of | ISO/IEC 13568:2002 |
| Descriptors | Data processing, Syntax, Specification languages, Programming languages, Information exchange, Semantics |
| Publisher | BSI |
| Committee | IST/5 |
| ICS Codes | 35.060 - Languages used in information technology |
Related products
-
BS EN ISO 13468-2:2021
Plastics. Determination of the total luminous transmittance of transparent materials – Double-beam instrument Published By…
-
BS EN ISO 13588:2019
Non-destructive testing of welds. Ultrasonic testing. Use of automated phased array technology Published By Publication…
-
BS EN ISO 13968:2008:2009 Edition
Plastics piping and ducting systems. Thermoplastics pipes. Determination of ring flexibility Published By Publication Date…
-
BS ISO 13528:2015
Statistical methods for use in proficiency testing by interlaboratory comparison Published By Publication Date Number…
-
BS ISO 13268:2022
Thermoplastics piping systems for non-pressure underground drainage and sewerage. Thermoplastics shafts or risers for inspection…
-
BS EN 13566-3:2002:2003 Edition
Plastics piping systems for renovation of underground non-pressure drainage and sewerage networks – Lining with…
-
BS EN 13368-2:2007
Fertilizers. Determination of chelating agents in fertilizers by chromatography – Determination of Fe chelated by…
-
BS EN 13468:2001
Thermal insulating products for building equipment and industrial installations. Determination of trace quantities of water…
-
BS ISO 13528:2022
Statistical methods for use in proficiency testing by interlaboratory comparison Published By Publication Date Number…
-
BS EN ISO 13567-2:2017:2019 Edition
Technical product documentation. Organization and naming of layers for CAD – Concepts, format and codes…
-
BS EN ISO 21920-2:2022:2023 Edition
Geometrical product specifications (GPS). Surface texture: Profile – Terms, definitions and surface texture parameters Published…
-
BS ISO 11568-2:2012
Financial services. Key management (retail) – Symmetric ciphers, their key management and life cycle Published…
-
BS ISO 13528:2005
Statistical methods for use in proficiency testing by interlaboratory comparisons Published By Publication Date Number…
-
BS ISO 13586:2000+A1:2003:2016 Edition
Plastics. Determination of fracture toughness (GIC and KIC). Linear elastic fracture mechanics (LEFM) approach Published…
-
BS EN ISO 21920-2:2022
Geometrical product specifications (GPS). Surface texture: Profile – Terms, definitions and surface texture parameters Published…
-
BS EN ISO 13565-2:1998:1997 Edition
Geometric product specifications (GPS). Surface texture: Profile method. Surfaces having stratified functional properties – Height…
-
BS ISO 11568-4:2007
Banking. Key management (retail) – Asymmetric cryptosystems. Key management and life cycle Published By Publication…
-
BS ISO 13586:2018
Plastics. Determination of fracture toughness (GIC and KIC). Linear elastic fracture mechanics (LEFM) approach Published…
-
BS ISO 15368:2001
Optics and optical instruments. Measurement of reflectance of plane surfaces and transmittance of plane parallel…
-
BS EN ISO 13567-1:2002
Technical product documentation. Organization and naming of layers for CAD – Overview and principles Published…
-
BS EN ISO 13567-2:2017
Technical product documentation. Organization and naming of layers for CAD – Concepts, format and codes…
-
BS EN 1568-2:2000:2001 Edition
Fire extinguishing media. Foam concentrates – Specification for high expansion foam concentrates for surface application…
-
BS EN 13368-2:2012
Fertilizers. Determination of chelating agents in fertilizers by chromatography – Determination of Fe chelated by…
-
BS EN 13518:2002:2006 Edition
Footwear. Test methods for uppers. Water resistance Published By Publication Date Number of Pages BSI…
-
BS ISO 13528:2015 – TC:2020 Edition
Tracked Changes. Statistical methods for use in proficiency testing by interlaboratory comparison Published By Publication…
-
BS EN 1568-3:2000:2001 Edition
Fire extinguishing media. Foam concentrates – Specification for low expansion foam concentrates for surface application…
-
BS EN 13566-4:2002:2003 Edition
Plastics piping systems for renovation of underground non-pressure drainage and sewerage networks – Lining with…
-
BS EN 13566-1:2002:2003 Edition
Plastics piping systems for renovation of underground non-pressure drainage and sewerage networks – General Published…
-
BS EN ISO 13565-3:2000
Geometric product specifications (GPS). Surface texture: Profile method. Surfaces having stratified functional properties – Height…
-
BS ISO 13562-1:2000:2001 Edition
Industrial variable-reach trucks – Stability tests Published By Publication Date Number of Pages BSI 2001…
-
BS EN ISO 13588:2012
Non-destructive testing of welds. Ultrasonic testing. Use of automated phased array technology Published By Publication…
-
BS ISO 11568:2023
Financial services. Key management (retail) Published By Publication Date Number of Pages BSI 2023 124
-
BS EN 13368-2:2001
Fertilizers. Determination of chelating agents in fertilizers by ion chromatography – EDDHA and EDDHMA Published…
-
BS EN ISO 13468-2:2006
Plastics. Determination of the total luminous transmittance of transparent materials – Double-beam instrument Published By…
-
BS EN ISO 13567-1:2017
Technical product documentation. Organization and naming of layers for CAD – Overview and principles Published…
-
BS EN ISO 13268:2023
Thermoplastics piping systems for non-pressure underground drainage and sewerage. Thermoplastics shafts or risers for inspection…
-
BS EN 1568-1:2000:2001 Edition
Fire extinguishing media. Foam concentrates – Specification for medium expansion foam concentrates for surface application…
-
BS ISO 11568-1:2005
Banking. Key management (retail) – Principles Published By Publication Date Number of Pages BSI 2005…
-
BS EN ISO 13567-2:2002
Technical product documentation. Organization and naming of layers for CAD – Concepts, format and codes…
-
BS ISO 11568-2:2005:2006 Edition
Banking. Key management (retail) – Symmetric ciphers, their key management and life cycle Published By…
