Codes et normes - Achat
ISO/IEC 13817-1:1996
Information technology -- Programming languages, their environments and system software interfaces -- Vienna Development Method -- Specification Language -- Part 1: Base language
SKU: iso_022988_110867
Publié par ISO/IEC
Année de publication 1996
1 Edition
399 pages
détails du produit
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.