Verification, Model Checking, and Abstract Interpretation
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
Автор:
Gilles Barthe, Manuel Hermenegildo
Наличност:
Външен склад в ограничено количество
Изпращаме след 13-18 дни
59.37
€
116.12 лв
This book constitutes the refereed proceedings of the 11th International Conference on Verification,...
