Вы здесь

FM 2015: Formal Methods: Proc./20th International Symposium, Oslo, Norway, June 2015

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

FM 2015: Formal Methods: Proc./20th International Symposium, Oslo, Norway, June 2015Ed. by Bjorner N., de Boer F..-Berlin.: Springer, 2015.-Vol. 9109.-610 p.-(Lecture Notes in Computer Science).

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