NASA Formal Methods

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: NASA Formal Methods : 9783030763848, 3030763846 および 印刷版のISBNは 9783030763831, 3030763838. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: NASA Formal Methods : 9783030763848, 3030763846 および 印刷版のISBNは 9783030763831, 3030763838. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。