NASA Formal Methods

NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: NASA Formal Methods : 9783031331701, 3031331702 および 印刷版のISBNは 9783031331695, 3031331699. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: NASA Formal Methods : 9783031331701, 3031331702 および 印刷版のISBNは 9783031331695, 3031331699. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。