Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Leveraging Applications of Formal Methods, Verification and Validation. Practice : 9783031197628, 3031197623 および 印刷版のISBNは 9783031197611, 3031197615. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Leveraging Applications of Formal Methods, Verification and Validation. Practice : 9783031197628, 3031197623 および 印刷版のISBNは 9783031197611, 3031197615. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。