Вы здесь

Formal Methods: Foundations and Applications: Revised Selected Papers/13th Brazilian Symposium on FM, SBMF 2010, Natal, Brazil, November 2010

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

Б2.2, Б3.54.

Formal Methods: Foundations and Applications: Revised Selected Papers/13th Brazilian Symposium on FM, SBMF 2010, Natal, Brazil, November 2010Ed. by Davies J., Silva L., Simao A..-Berlin.: Springer, 2011.-Vol. 6527.-291 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO8 737