NASA Formal Methods

NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: NASA Formal Methods : 9783031606984, 3031606981 および 印刷版のISBNは 9783031606977, 3031606973. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: NASA Formal Methods : 9783031606984, 3031606981 および 印刷版のISBNは 9783031606977, 3031606973. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。