Вы здесь

Formal Methods for the Quantitative Evaluation of Collective Adaptive Sysytems: Advanced Lectures/16th International School, SFM 2016, Bertinoro, Italy, June 2016

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

Formal Methods for the Quantitative Evaluation of Collective Adaptive Sysytems: Advanced Lectures/16th International School, SFM 2016, Bertinoro, Italy, June 2016/Ed. by Bernardo M., De Nicola R., Hillston J..-Berlin.: Springer, 2016.-Vol. 9700.-261 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO11 861