Вы здесь

Formal Methods for Model-Driven Engineering: Advanced Lectures/12th International School, SFM 2012, Bertinoro, Italy, June 2012

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

Б3.1, Б3.5, А3.45.

Formal Methods for Model-Driven Engineering: Advanced Lectures/12th International School, SFM 2012, Bertinoro, Italy, June 2012Ed. by Bernardo M., Cortellessa V., Pierantonio A..-Berlin.: Springer, 2012.-Vol. 7320.-439 p.-(Lecture Notes in Computer Science).

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