0 Ставка
Мој налог
Телефон: (011) 7541-421, 3409-301, 3409-335, 6547-293, 3409-310
E-mail: Продаја стандарда: prodaja@iss.rs Семинари, обуке: iss-edukacija@iss.rs Информације о стандардима: infocentar@iss.rs
Стевана Бракуса 2, 11030 Београд
Главни мени

ISO/IEC 13817-1:1996

Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language
19. 12. 1996.

Опште информације

90.93     24. 9. 2024.

ISO/IEC

ISO/IEC JTC 1/SC 22

Међународни стандард

35.060  

енглески  

Куповина

Објављен

Језик на коме желите да примите документ.

Апстракт

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.

Животни циклус

ТРЕНУТНО

ОБЈАВЉЕН
ISO/IEC 13817-1:1996
90.93 Одлука о потврђивању стандарда
24. 9. 2024.