Вы здесь
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 2009Ed. by Oliveira M.V. M., Woodcock J..-Berlin.: Springer, 2009.-Vol. 5902.-351 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO7 949