Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

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

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