Formal Methods

Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal Methods : 9783031274817, 3031274814 および 印刷版のISBNは 9783031274800, 3031274806. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Formal Methods : 9783031274817, 3031274814 および 印刷版のISBNは 9783031274800, 3031274806. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。