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. Da el salto al mundo digital con VitalSource y ahorra hasta un 80 % en comparación con la versión impresa.

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. Da el salto al mundo digital con VitalSource y ahorra hasta un 80 % en comparación con la versión impresa.