Вы здесь

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