Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Verification, Model Checking, and Abstract Interpretation son 9783030393229, 3030393224 y los ISBN de versión impresa son 9783030393212, 3030393216. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Verification, Model Checking, and Abstract Interpretation son 9783030393229, 3030393224 y los ISBN de versión impresa son 9783030393212, 3030393216. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.