Verification, Model Checking, and Abstract Interpretation
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Автор:
Viktor Kuncak, Andrey Rybalchenko
Наличност:
Външен склад в ограничено количество
Изпращаме след 9-15 дни
56.78
€
111.05 лв
This book constitutes the refereed proceedings of the 13th International Conference on Verification,...