Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Automated Technology for Verification and Analysis lauten 9783031787508, 3031787501 und die Druck-ISBNs lauten 9783031787492, 3031787498. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Automated Technology for Verification and Analysis lauten 9783031787508, 3031787501 und die Druck-ISBNs lauten 9783031787492, 3031787498. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.