NASA Formal Methods

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings 1st 版 著者: Susmit Jha; Ritchie Lee; Anastasia Mavridou 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: NASA Formal Methods : 9783030557546, 3030557545 および 印刷版のISBNは 9783030557539, 3030557537. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings 1st 版 著者: Susmit Jha; Ritchie Lee; Anastasia Mavridou 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: NASA Formal Methods : 9783030557546, 3030557545 および 印刷版のISBNは 9783030557539, 3030557537. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。