Вы здесь
Formal Methods for Industrial Critical Systems: Proc./18th International Workshop, FMICS 2013, Madrid, Spain, September 2013
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2013
Стр.:
199 p.
Редактор:
Место издания:
Издательство:
Том:
8187
Карточка:
Б2.23, А3.45.
Formal Methods for Industrial Critical Systems: Proc./18th International Workshop, FMICS 2013, Madrid, Spain, September 2013Ed. by Pecheur Ch., Dierkes M..-Berlin.: Springer, 2013.-Vol. 8187.-199 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO10 287