Вы здесь

NASA Formal Methods: Proc./9th International Symposium, NFM 2017, Moffett Field,CA,USA, May 2017

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

NASA Formal Methods: Proc./9th International Symposium, NFM 2017, Moffett Field,CA,USA, May 2017Ed. by Barret C., Davies M., Kahsai T..-Berlin.: Springer, 2017.-Vol. 10227.-436 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO12 350