Подходы к верификации спецификаций на языке REAL | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Бодин Е. В.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1995

Ключевые слова:

верификация

спецификация

язык спецификаций

распределенный

Стр.:

С.154-184.

Библиография:

Библиогр.: c.179-180.

Место издания:

Новосибирск

Источник:

Проблемы спецификации и верификации параллельных систем. Сборник научных трудов

Карточка:

Б3.51.

Бодин Е. В..

Подходы к верификации спецификаций на языке REAL-Новосибирск.// Проблемы спецификации и верификации параллельных систем. Сборник научных трудов, 1995.-С.154-184.
Библиогр.: c.179-180.

Таблица в старой библиотеке:

PAP15 892