DANSK DS/ISO/IEC 13817-1 PDF

Name:
DANSK DS/ISO/IEC 13817-1 PDF

Published Date:
07/23/1998

Status:
[ Active ]

Description:

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

Publisher:
Dansk Standard

Document status:

Active

Format:

Electronic (PDF)

Delivery time:

10 minutes

Delivery time (for Russian version):

200 business days

SKU:

SAME AS ISO/IEC 13817-1

This part of ISO/IEC 13817 specifies the model based specification language VDM-SL (Vienna Development Method Specification Language).

Edition :	98
File Size :	1 file , 55 KB
Number of Pages :	2
Product Code(s) :	DS-002, DS-002
Published :	07/23/1998

History

Related products

DANSK DS/ISO 15370

Published Date: 01/13/2021

Ships and marine technology – Low-location lighting (LLL) on passenger ships – Arrangement

$26.1

DANSK DS/CEN ISO/TR 11594

Published Date: 12/01/2022

Best practices for the creation/evaluation of fingerprint analysis in accordance with the ISO 28199 series (ISO/TR 11594:2022)

$22.5

DANSK DS/ETSI EN 303 098 V2.2.1

Published Date: 02/18/2019

Maritime low power personal locating devices employing AIS; Harmonised Standard for access to radio spectrum

$30.3

DANSK DS/EN ISO 3175-3

Published Date: 01/30/2018

Textiles – Professional care, drycleaning and wetcleaning of fabrics and garments – Part 3: Procedure for testing performance when cleaning and finishing using hydrocarbon solvents (ISO 3175-3:2017)

$15.3

Best-Selling Products

IETF 8254-2

Published Date: 07/01/2016

Papiers et cartons - Mesurage du brillant spéculaire - Partie 2: Brillant à 75° avec un faisceau parallèle, méthode DIN

$24.3

IETF FAA AC 43-10

Published Date: 02/01/1983

MECHANICAL WORK PERFORMED ON U.S. AND CANADIAN REGISTERED AIRCRAFT

IETF RFC 1000

Published Date: 08/01/1987

The Request for Comments Reference Guide

$21

IETF RFC 1002

Published Date: 03/01/1987

PROTOCOL STANDARD FOR A NetBIOS SERVICE ON A TCP/UDP TRANSPORT: DETAILED SPECIFICATIONS

$18.3

IETF RFC 1014

Published Date: 06/01/1987

XDR: EXTERNAL DATA REPRESENTATION STANDARD

IETF RFC 1042

Published Date: 02/01/1988

A Standard for the Transmission of IP Datagrams over IEEE 802 Networks

$10.2