Вы здесь

NASA Formal Methods: Proc./8th International Symposium, NFM 2016, Minneapolis,MN,USA, June 2016

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

NASA Formal Methods: Proc./8th International Symposium, NFM 2016, Minneapolis,MN,USA, June 2016Ed. by Rayadurgam S., Tkachuk O..-Berlin.: Springer, 2016.-Vol. 9690.-396 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO11 903