Вы здесь

Modeling and Verification of Parallel Processes: Proc./4th Summer School, MOVEP 2000, Nantes, France, June 2000

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2001
Стр.: 
223 p.
Место издания: 
Издательство: 
Том: 
2067
Карточка: 

Б3.54, Б2.42, Б2.23, Б2.1.

Modeling and Verification of Parallel Processes: Proc./4th Summer School, MOVEP 2000, Nantes, France, June 2000Ed. by Cassez F., Jard C., Rozoy B., Ryan M. D..-Berlin, Heidelberg.: Springer, 2001.-Vol. 2067.-223 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO3 745