Verification, Model Checking, and Abstract Interpretation
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
Szerző:
Gilles Barthe, Manuel Hermenegildo
Elérhetőség:
Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
20 639
Ft
This book constitutes the refereed proceedings of the 11th International Conference on Verification,...
