Verification, Model Checking, and Abstract Interpretation
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
Autor:
Gilles Barthe, Manuel Hermenegildo
Disponibilitate:
În depozitul extern în cantități mici
Expediem în 13-18 zile
298.01
lei
This book constitutes the refereed proceedings of the 11th International Conference on Verification,...