Поиск

Information technology. Programming languages, their environments and system software interfaces. Vienna Deve…

Information technology — Programming languages, their environments and system software interfaces — Vienna De…

Overview ISO/IEC 13817-1:1996 specifies the base language of VDM-SL (Vienna Development Method - Specification Language). Published by ISO/IEC in 1996, this standard defines a model‑based formal spec…