Вы здесь

Formal Methods for Components and Objects: Revised Selected Papers/10th International Symposium, FMCO 2011, Turin, Italy, October 2011

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

Б2.2, Б3.54.

Formal Methods for Components and Objects: Revised Selected Papers/10th International Symposium, FMCO 2011, Turin, Italy, October 2011/Ed. by Beckert B., Domiani F., de Boer F. S., Bonsangue M. M..-Berlin.: Springer, 2013.-Vol. 7542.-356 p.-(Lecture Notes in Computer Science).

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