NASA Formal Methods

NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: NASA Formal Methods : 9783031937064, 3031937066 および 印刷版のISBNは 9783031937057, 3031937058. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: NASA Formal Methods : 9783031937064, 3031937066 および 印刷版のISBNは 9783031937057, 3031937058. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。