Вы здесь

Automating the Refinement of Specifications for Distributed Systems via Syntactic Transformations

Количество экземпляров: 
1
Вид: 
Препринт
Год: 
1995
Стр.: 
13 p.
Библиография: 
Bibliogr.: p.13
Карточка: 

Б3.5, Б3.21.

Attie P., Das C., Deng Y., Evangelist M..

Automating the Refinement of Specifications for Distributed Systems via Syntactic Transformations-1995.-13 p.
Bibliogr.: p.13

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