Вы здесь

Integrated Formal Methods: Proc./Third Intern. Conf., IFM 2002, Turku, Finland, May 2002

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

Б2.2, Б3.5.

Integrated Formal Methods: Proc./Third Intern. Conf., IFM 2002, Turku, Finland, May 2002/Ed. by Butler M., Petre L., Sere K..-Berlin, Heidelberg.: Springer, 2002.-Vol. 2335.-401 p.-(Lecture Notes in Computer Science).

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