Low prices! Originals & Translations! Save your budget and time!
ONLINENORMS: Online Standards Store
Click View Shopping Cart
  1. Home
  2. INTERNATIONAL ORGANIZATION FOR STANDARDIZATION-INTERNATIONAL ELECTROTECHNICAL COMMISSION
  3. ISO/IEC 13817-1:1996 PDF

ISO/IEC 13817-1:1996 PDF

ISO/IEC 13817-1:1996 PDF

Name:
ISO/IEC 13817-1:1996 PDF

Published Date:
12/01/1996

Status:
Active

Description:

Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language

Publisher:
International Organization for Standardization/International Electrotechnical Commission

Document status:
Active
Format:
Electronic (PDF)
Delivery time:
10 minutes
Delivery time (for Russian version):
200 business days
SKU:
Choose Document Language:
$83.4
Need Help?

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.


File Size : 1 file , 24 MB
Note : This product is unavailable in Russia, Ukraine, Belarus
Number of Pages : 399
Published : 12/01/1996
Same As : ISO/IEC 13817-1:1996

History

Related products

ISO/IEC 15851:1999
ISO/IEC 15851:1999
Published Date: 03/01/1999
Information technology -- Communication protocol -- Open MUMPS Interconnect
$49.8
ISO/IEC 14772-2:2004
ISO/IEC 14772-2:2004
Published Date: 03/01/2004
Information technology - Computer graphics and image processing - The Virtual Reality Modeling Language (VRML) - Part 2: External authoring interface (EAI)
$66.9
ISO/IEC 9075-4:2023
ISO/IEC 9075-4:2023
Published Date: 06/01/2023
Information technology - Database languages SQL - Part 4: Persistent stored modules (SQL/PSM)
$83.4

Best-Selling Products

CAN/CSA-IEC/TS 61000-3-5:12 (R2021)
CAN/CSA-IEC/TS 61000-3-5:12 (R2021)
Published Date: 06/01/2012
Electromagnetic compatibility (EMC) - Part 3-5: Limits - Limitation of voltage fluctuations and flicker in low-voltage power supply systems for equipment with rated current greater than 75 A (Adopted IEC/TS 61000-3-5:2009, edition 2.0, 2009-07)
$14.1
CAN/CSA-IEC/TS 62600-4:22
CAN/CSA-IEC/TS 62600-4:22
Published Date: 10/18/2022
Marine energy -- Wave, tidal and other water current converters -- Part 4: Specification for establishing qualification of new technology
$46.8