Вы здесь
Distributed Real-Time System Sprcification and Verification in APTL
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1993
Ключевые слова:
Стр.:
P.346-378.
Библиография:
Bibliogr.: p.377-378
Номер:
4
Том:
2
Карточка:
Б3.54, Б3.51.
Wang F., Mok A., Emerson E. A..
Distributed Real-Time System Sprcification and Verification in APTL// ACM Trans. Software Engineering and Methodology-1993, №4.-Vol. 2.-P.346-378.
Bibliogr.: p.377-378
Таблица в старой библиотеке:
ACM3 284