862649

ISO/IEC 13817-1:1996

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

standard by International Organization for Standardization/International Electrotechnical Commission , 12/01/1996

View all product details

Most Recent

Track It

Language:
    • Available Formats
    • Options
    • Availability
    • Priced From ( in USD )
    • Printed Edition
    • Ships in 1-2 business days
    • $278.00
    • Add to Cart

Customers Who Bought This Also Bought

Identical Versions Available

 

About This Item

 

Full Description

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.

 

Product Details

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