Вы здесь

Formal Techniques for Networked and Distributed Systems - FORTE 2002: Proc./22nd IFIP WG 6.1 Intern. Conf., Houston, Texas, USA, November 2002

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

А3.54, А3.5, Б3.5.

Formal Techniques for Networked and Distributed Systems - FORTE 2002: Proc./22nd IFIP WG 6.1 Intern. Conf., Houston, Texas, USA, November 2002/Ed. by Peled D. A., Vardi M. Y..-Berlin, Heidelberg.: Springer, 2002.-Vol. 2529.-371 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO4 210