недоступно на русском языке

Текущий статус : Опубликовано (Hа стадии пересмотра)

Последний раз этот стандарт был пересмотрен в  2008. Поэтому данная версия остается актуальной
Формат Язык
PDF
Бумажный
  • CHF216
Пересчитать швейцарские франки (CHF) в ваша валюта

Тезис

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.

Standard first page

Preview 

Вы можете ознакомиться с данным стандартом в нашей онлайн-библиотеке (OBP)

Общая информация

  • Текущий статус
     : Опубликовано
    Дата публикации
     : 1996-12
    Этап
    : Подтверждение действия между-народного стандарта [90.93]
  • Версия
     : 1
  • Технический комитет :
    ISO/IEC JTC 1/SC 22
    ICS :
    35.060 
  • RSS обновления

Жизненный цикл

Появились вопросы?

Ознакомьтесь с FAQ

Работа с клиентами
+41 22 749 08 88

Часы работы:
Понедельник – пятница: 09:00-12:00, 14:00-17:00 (UTC+1)

  2. Интернет-магазин
  3. Каталог стандартов
  4. ТК
  5. ISO/IEC JTC 1/SC 22
  6. ISO/IEC 13817-1:1996