На данной странице предаставлены все книги автора «Manuel Núñez»
Formal Methods for Industrial Critical Systems. 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Manuel Núñez,Matthias Güdemann)