Вы здесь

Software Engineering and Formal Methods: Proc./9th International Conference, SEFM 2011, Montevideo, Uruguay, November 2011

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

Б3.5, Б2.2, А3.5.

Software Engineering and Formal Methods: Proc./9th International Conference, SEFM 2011, Montevideo, Uruguay, November 2011Ed. by Barthe G., Pardo A., Schneider G..-Berlin.: Springer, 2011.-Vol. 7041.-504 p.-(Lecture Notes in Computer Science).

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