NASA Formal Methods

NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: NASA Formal Methods : 9783319572888, 3319572881 および 印刷版のISBNは 9783319572871, 3319572873. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: NASA Formal Methods : 9783319572888, 3319572881 および 印刷版のISBNは 9783319572871, 3319572873. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。