Вы здесь

Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 2017

Вид: 
Сборник или журнал
Год: 
2018
Стр.: 
592 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
10729
Карточка: 

Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 2017/Ed. by Cerone A., Roveri M..-Berlin.: Springer, 2018.-Vol. 10729.-592 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO12 800