Verification, Model Checking, and Abstract Interpretation
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
Autor:
Gilles Barthe, Manuel Hermenegildo
Dostupnosť:
Skladom u dodávateľa v malom množstve
Odosielame za 13-18 dní
54.17
€
This book constitutes the refereed proceedings of the 11th International Conference on Verification,...
