Вы здесь

NASA Formal Methods: Proc./4th International Symposium, NFM 2012, Norfolk,VA,USA, April 2012

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

А3.54, Б3.5.

NASA Formal Methods: Proc./4th International Symposium, NFM 2012, Norfolk,VA,USA, April 2012Ed. by Goodloe A. E., Person S..-Berlin.: Springer, 2012.-Vol. 7226.-466 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO9 382