Вы здесь
FM 2006: Formal Methods: Proc./14th International Symposium on Formal Methods. Hamilton, Canada, August 2006
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2006
Ключевые слова:
Стр.:
620 p.
Редактор:
Место издания:
Издательство:
Том:
4085
Карточка:
Б2.2, Б3.15, Б3.5.
FM 2006: Formal Methods: Proc./14th International Symposium on Formal Methods. Hamilton, Canada, August 2006Ed. by Misra J., Nipkow T., Sekerinski E..-Berlin, Heidelberg.: Springer, 2006.-Vol. 4085.-620 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO6 105