Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings 1st 版 著者: María Alpuente; ‎Byron Cook; ‎Christophe Joubert 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal Methods for Industrial Critical Systems : 9783642045707, 3642045707 および 印刷版のISBNは 9783642045691, 3642045693. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings 1st 版 著者: María Alpuente; ‎Byron Cook; ‎Christophe Joubert 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal Methods for Industrial Critical Systems : 9783642045707, 3642045707 および 印刷版のISBNは 9783642045691, 3642045693. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。