Verification, Model Checking, and Abstract Interpretation
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Autor:
Viktor Kuncak, Andrey Rybalchenko
Dostupnosť:
Skladom u dodávateľa v malom množstve
Odosielame za 9-15 dní
54.28
€
This book constitutes the refereed proceedings of the 13th International Conference on Verification,...
