Вы здесь

Formal Methods: Foundations and Applicationas: Revised Selected Papers/12th Brazilian Symposium, SBMF 2009, Gramado Brazil, August 2009

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

Б2.2, Б3.5.

Formal Methods: Foundations and Applicationas: Revised Selected Papers/12th Brazilian Symposium, SBMF 2009, Gramado Brazil, August 2009/Ed. by Oliveira M.V. M., Woodcock J..-Berlin.: Springer, 2009.-Vol. 5902.-351 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO7 949