Verification, Model Checking, and Abstract Interpretation
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Autor:
Viktor Kuncak, Andrey Rybalchenko
Dostupnost:
Skladem u dodavatele v malém množství
Odesíláme za 9-15 dnů
1 314
Kč
This book constitutes the refereed proceedings of the 13th International Conference on Verification,...
