2 电子书 Shaz Qadeer
Ganesh Gopalakrishnan & Shaz Qadeer: Computer Aided Verification
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011.The 35 revised full papers presen …
PDF
英语
DRM
€57.76
Shaz Qadeer & Serdar Tasiran: Runtime Verification
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 r …
PDF
英语
DRM
€57.91
