Formal Semantics and Verification of Distributed Systems Presented by Basic-REAL Specifications | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Nepomniaschy V. A.

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

1

Вид:

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

Год:

1997

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

семантика

верификация

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

Стр.:

P.35-55.

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

Bibliogr.: p.52-53

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

Серия:

Computer Science

Источник:

Joint Bull. of NCC and IIS

Номер:

7

Карточка:

Б2.24, Б3.5, А3.54.

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

Formal Semantics and Verification of Distributed Systems Presented by Basic-REAL Specifications-Novosibirsk.// Joint Bull. of NCC and IIS, 1997, №7.-P.35-55.-(Computer Science).
Bibliogr.: p.52-53

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

ISI2 232