AI Verification

AI Verification: Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: AI Verification : 9783031999918, 3031999916 および 印刷版のISBNは 9783031999901, 3031999908. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

AI Verification: Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: AI Verification : 9783031999918, 3031999916 および 印刷版のISBNは 9783031999901, 3031999908. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。