Вы здесь

Formal Methods for Components and Objects: Revised Papers/11th International Symposium, FMCO 2012, Bertinoro, Italy, September 2012

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

Б3.54, Б2.2.

Formal Methods for Components and Objects: Revised Papers/11th International Symposium, FMCO 2012, Bertinoro, Italy, September 2012/Ed. by Giachino E., Hahnle R., de Boer F. S., Bonsangue M. M..-Berlin.: Springer, 2013.-Vol. 7866.-241 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO10 221