Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Verification, Model Checking, and Abstract Interpretation zijn 9783031827006, 3031827007 en de ISBN's voor gedrukt materiaal zijn 9783031826993, 303182699X. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Verification, Model Checking, and Abstract Interpretation zijn 9783031827006, 3031827007 en de ISBN's voor gedrukt materiaal zijn 9783031826993, 303182699X. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.