Вы здесь
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