ISO/IEC 13817-1:1996
$55.25
Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language
| Published By | Publication Date | Number of Pages |
| ISO | 1996-12 | 414 |
Specifies the model based specification language VDM-SL (Vienna Development Method – Specification Language). Contains the mathematical and interchange representation, gives the syntax, the static and the dynamic semantics, and conformity for specification and tools.
Related products
-
BS ISO 1817:1999
Rubber, vulcanized. Determination of the effect of liquids Published By Publication Date Number of Pages…
-
AS/NZS 4540:1999
Digital broadcasting systems for television, sound and data services – Framing structure, channel coding and…
-
AS/NZS 13818.7:1999
Information technology – Generic coding of moving pictures and associated audio information – Advanced audio…
-
BS EN ISO 9455-9:2020
Soft soldering fluxes. Test methods – Determination of ammonia content Published By Publication Date Number…
-
BS 506-2:1984
Methanol for industrial use – Methods of test Published By Publication Date Number of Pages…
-
IEEE 1003.1 2008
Standard for Information Technology – Portable Operating System Interface (POSIX(R)) Published By Publication Date Number…
-
BS 6948:1989
Methods of test for mechanically fastened joints in timber and wood-based materials Published By Publication…
-
AS/NZS 4064:1997
Information technology – Telecommunications and information exchange between systems – Private telecommunications networks – Digital…
-
BS ISO 10817-1:1999
Rotating shaft vibration measuring systems – Relative and absolute sensing of radial vibration Published By…
-
BS EN 1387:1997
Machine readable cards. Health care applications. Cards. General characteristics Published By Publication Date Number of…
-
CSA ISO/IEC 13818-3:02 (R2020):2002 Edition
Information Technology – Generic Coding of Moving Pictures and Associated Audio Information – Part 3:…
-
BS 534:1990
Specification for steel pipes, joints and specials for water and sewage Published By Publication Date…
-
BS 4749:1984
Specification for textile reinforced rubber hydraulic hoses and hose assemblies Published By Publication Date Number…
-
BS EN ISO/IEC 13818-3:1996:1995 Edition
Information technology. Generic coding of moving pictures and associated audio information – Audio Published By…
-
IEEE 802.1s-2002
IEEE Standards for Local and Metropolitan Area Networks – Amendment to 802.1Q Virtual Bridged Local…
-
BS EN 13187:1999
Thermal performance of buildings. Qualitative detection of thermal irregularities in building envelopes. Infrared method Published…
-
IEEE 1003.1-2008
IEEE Standard for Information Technology – Portable Operating System Interface (POSIX(TM)) Published By Publication Date…
-
CAN/CSA-ISO/IEC 14496-2:05 (R2020):2005 Edition
Information Technology – Coding of Audio-Visual Objects – Part 2: Visual Published By Publication Date…
-
BS 4983:1984
Specification for textile reinforced thermoplastics hydraulic hoses and hose assemblies Published By Publication Date Number…
-
BS ISO/IEC 13814:1998
Information technology. Programming languages. Generic package of complex elementary functions for Ada Published By Publication…
-
BS ISO/IEC 13813:1998
Information technology. Programming languages. Generic packages of real and complex type declarations and basic operations…
-
BS ISO/IEC 19785-3:2020
Information technology. Common Biometric Exchange Formats Framework – Patron format specifications Published By Publication Date…
-
BS ISO/IEC 13816:1997
Information technology. Programming languages, their environments and system software interfaces. Programming language ISLISP Published By…
-
BS ISO/IEC 13871:1995:1998 Edition
Information technology. Telecommunications and information exchange between systems. Private telecommunications networks. Digital channel aggregation Published…
-
AS/NZS 13818.10:2002
Information technology – Generic coding of moving pictures and associated audio information – Conformance extensions…
-
BS EN ISO/IEC 13818-9:2001
Information technology. Generic coding of moving pictures and associated audio information – Extension for real…
-
BS EN ISO 19900:2002:2003 Edition
Petroleum and natural gas industries. General requiremenents for offshore structures Published By Publication Date Number…
-
BSI PD ISO/IEC TR 10036:2020
Information technology. Font information interchange. Registered glyph identifiers Published By Publication Date Number of Pages…
-
BS EN ISO 6781-1:2023
Performance of buildings. Detection of heat, air and moisture irregularities in buildings by infrared methods…
-
AS/NZS 13818.4:2002
Information technology — Generic coding of moving pictures and associated audio information Published By Publication…
-
BS EN ISO 13807:2009
Vitreous and porcelain enamels. Determination of crack formation temperature in the thermal shock testing of…
-
AS/NZS 13818.5:1999
Information technology – Generic coding of moving pictures and associated audio information – Software simulation…
-
BS 6431-14:1983
Ceramic floor and wall tiles – Method for determination of resistance to deep abrasion. Unglazed…
-
BS ISO 1817:2005:2006 Edition
Rubber, vulcanized. Determination of the effect of liquids Published By Publication Date Number of Pages…
-
BS 4586:1984
Specification for spiral wire reinforced rubber covered hydraulic hoses and hose assemblies Published By Publication…
-
ASTM-D3818:1992 Edition
D3818-92 Test Method for Linear Density and Maturity Index of Cotton Fibers (IIC-Shirley Fineness Maturity…
-
BS EN 13187:1999
Thermal performance of buildings. Qualitative detection of thermal irregularities in building envelopes. Infrared method Published…
-
BS 4325-9:1984
Methods for analysis of oilseed residues – Preparation of test samples Published By Publication Date…
-
BS EN ISO 13819-1:1998
Petroleum and natural gas industries. Offshore structures – General requirements Published By Publication Date Number…
-
BS 5752-13:1995
Methods of test for coffee and coffee products – Roasted ground coffee. Determination of moisture…
