Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1999

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

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

формальный

параллелизм

Стр.:

p.353-372

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

Bibliogr.: p.372

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

Источник:

Карточка:

Б2.42, Б3.51.

Paige R..

Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication-London, Berlin.// IFM 99, 1999.-p.353-372
Bibliogr.: p.372

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

PAP22 501