A New Language Basic-Real for Specification and Verification of Distributed System Models | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Nepomniaschy V. A.

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

1

Колл. автор:

Inst. of Informatics Systems

Вид:

Препринт

Год:

1999

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

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

распределенная система

верификация

Стр.:

39 p.

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

Bibliogr.: p.30-31

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

Номер:

65

Карточка:

Б2.43, Б3.51.

Nepomniaschy V. A., Shilov N. V., Bodin E. V..

A New Language Basic-Real for Specification and Verification of Distributed System Models-Novosibirsk., 1999.-39 p.-(Препринт Inst. of Informatics Systems №65).
Bibliogr.: p.30-31

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

PREP2 738