Вы здесь

Formal Methods for Industrial Critical Systems: Proc./23rd International Conference, FMICS 2018, Maynooth, Ireland, September 2018

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

Formal Methods for Industrial Critical Systems: Proc./23rd International Conference, FMICS 2018, Maynooth, Ireland, September 2018Ed. by Howar F., Barnat J..-Berlin.: Springer, 2018.-Vol. 11119.-291 p.-(Lecture Notes in Computer Science).