Вы здесь
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