Verification, Model Checking, and Abstract Interpretation

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Verification, Model Checking, and Abstract Interpretation son 9783642540134, 3642540139 y los ISBN de versión impresa son 9783642540127, 3642540120. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Verification, Model Checking, and Abstract Interpretation son 9783642540134, 3642540139 y los ISBN de versión impresa son 9783642540127, 3642540120. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.