Вы здесь

Compositional Proof Methods for Concurrency: A Semantic Approach

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1998
Ключевые слова: 
Стр.: 
P.632-646
Библиография: 
Bibliogr.: p.646
Место издания: 
Том: 
1536
Карточка: 

Б2.24, Б2.42.

de Boer F. S., De Roever W. -P..

Compositional Proof Methods for Concurrency: A Semantic Approach-Berlin, Heidelberg.// Lecture Notes in Computer Science, 1998.-Vol. 1536.-P.632-646-(Lecture Notes in Computer Science).
Bibliogr.: p.646

Таблица в старой библиотеке: 
PAP19 102