Вы здесь
Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 2012
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2014
Ключевые слова:
Стр.:
281 p.
Редактор:
Место издания:
Издательство:
Том:
8453
Карточка:
Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 2012Ed. by Remke A., Stoelinga M..-Berlin.: Springer, 2014.-Vol. 8453.-281 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO11 16