Specification styles in distributed systems design and verification

Вы здесь

Автор:

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

Вид:

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

Год:

1991

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

Стр.:

P.179-206.

Реферат:

Стили спецификации в проектировании и верификации распределенных систем.

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

Bibliogr.: p.205-206

Источник:

Номер:

Том:

Карточка:

Б2.4, Б2.2, Б3.51.

Vissers C., Scollo G., Sinderen M., Brinksma E..

Specification styles in distributed systems design and verification// Theoretical Computer Science-1991, №1.-Vol. 89.-P.179-206.
Bibliogr.: p.205-206

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

PAP2 809