Вы здесь
Дедуктивная система для неклассической верификации распределенных систем: индукция по числу параллельных компонент
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
С.123-153.
Библиография:
Библиогр.: c.147.
Место издания:
Карточка:
Б2.22, Б2.23, Б2.42.
Березин С. А..
Дедуктивная система для неклассической верификации распределенных систем: индукция по числу параллельных компонент-Новосибирск.// Проблемы спецификации и верификации параллельных систем. Сборник научных трудов, 1995.-С.123-153.
Библиогр.: c.147.
Таблица в старой библиотеке:
PAP15 891