Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Leveraging Applications of Formal Methods, Verification and Validation : 9783030891596, 3030891593 および 印刷版のISBNは 9783030891589, 3030891585. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Leveraging Applications of Formal Methods, Verification and Validation : 9783030891596, 3030891593 および 印刷版のISBNは 9783030891589, 3030891585. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。