Вы здесь
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Ключевые слова:
Стр.:
P.69-88
Библиография:
Bibliogr.: p.84-85
Издательство:
Источник:
Том:
2335
Карточка:
Б3.5, Б2.24.
Nepomniaschy V. A., Shilov N. V., Bodin E. V., Kozura V. E..
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems: Springer// Lecture Notes in Computer Science-2002.-Vol. 2335.-P.69-88
Bibliogr.: p.84-85
Таблица в старой библиотеке:
ISI2 447