2 E-böcker av 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
Engelska
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
Engelska
DRM
€57.91
