DANSK DS/ISO/IEC 13817-1 [ Active ]

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

standard by Dansk Standard , 07/23/1998

Most Recent

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).

Device/OS:	Other
Browser:	Generic Browser 0.0
User Agent:	Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; [email protected])
Store Name:	css
Page:	/standards/dansk-ds-iso-iec-13817-1?product_id=2652225
Referrer:	Direct Navigation
IP:	3.144.35.148, 108.162.245.186
Language:	en
Customer #:	Not Logged In
Member?:	YES
Cart #:	1167539116
Order #:	None
Cookies:	YES