ISO/IEC 13817-1:1996

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

Последний раз этот стандарт был пересмотрен в 2008. Поэтому данная версия остается актуальной

Тезис

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.

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

Текущий статус
: Published

Дата публикации
: 1996-12
Версия
: 1
Технический комитет
: ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces
ICS
:
35.060 Languages used in information technology

Приобрести данный стандарт

	Формат	Язык
std 1 208	PDF
std 2 208	Бумажный

CHF208

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

Сейчас

Published

ISO/IEC 13817-1:1996

Стандарт, который пересматривается каждые 5 лет
Этап: 90.93 (Подтверждено)

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

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

Работа с клиентами

+41 22 749 08 88

customerservice@iso.org

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

Будьте в курсе актуальных новостей ИСО

Подписывайтесь на наши новости, обзоры, а также на информацию о продуктах.