На данной странице предаставлены все книги автора «Bernhard Schätz»
Formal Methods for Industrial Critical Systems. 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Gwen Salaün,Bernhard Schätz)