На данной странице предаставлены все книги автора «Ralf Pinger»
Formal Methods for Industrial Critical Systems. 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Mariëlle Stoelinga,Ralf Pinger)