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 II y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Verification, Model Checking, and Abstract Interpretation son 9783031827037, 3031827031 y los ISBN de versión impresa son 9783031827020, 3031827023. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.

Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Verification, Model Checking, and Abstract Interpretation son 9783031827037, 3031827031 y los ISBN de versión impresa son 9783031827020, 3031827023. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.