Вы здесь

Formal Methods for Industrial Critical Systems: Revised Selected Papers/12th International Workshop, FMICS 2007. Berlin, Germany, July 2007

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

А3.45, Б3.54.

Formal Methods for Industrial Critical Systems: Revised Selected Papers/12th International Workshop, FMICS 2007. Berlin, Germany, July 2007Ed. by Leue S., Merino P..-Berlin, Heidelberg., 2007.-Vol. 4916.-251 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO7 86