Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Verification, Model Checking, and Abstract Interpretation lauten 9783031249501, 303124950X und die Druck-ISBNs lauten 9783031249495, 3031249496. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Verification, Model Checking, and Abstract Interpretation lauten 9783031249501, 303124950X und die Druck-ISBNs lauten 9783031249495, 3031249496. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.