Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 9783031753909, 3031753909 および 印刷版のISBNは 9783031753893, 3031753895. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 9783031753909, 3031753909 および 印刷版のISBNは 9783031753893, 3031753895. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。