1 电子书 Christophe Joubert
Maria Alpuente & Byron Cook: Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 pap …
PDF
英语
DRM
€57.61
