Compositional Specification and Verification of Distributed Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1994

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

верификация

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

модульный

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

уточнение

Стр.:

P.250-303.

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

Bibliogr.: p.301-303.

Источник:

ACM Trans. Programming Languages and Systems

Номер:

2

Том:

16

Карточка:

А3.53, Б3.52, Б2.23, Б2.43.

Jonsson B..

Compositional Specification and Verification of Distributed Systems// ACM Trans. Programming Languages and Systems-1994, №2.-Vol. 16.-P.250-303.
Bibliogr.: p.301-303.

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

ACM3 696