Reactive System Refinement of Distributed Systems in B | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Androutsopoulos K.

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

1

Вид:

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

Год:

1999

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

формальный

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

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

Стр.:

p.415-434

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

Bibliogr.: p.434

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

Источник:

Карточка:

Б3.51.

Lano K., Androutsopoulos K..

Reactive System Refinement of Distributed Systems in B-London, Berlin.// IFM 99, 1999.-p.415-434
Bibliogr.: p.434

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

PAP22 503