2 电子书 Azadeh Farzan
Swarat Chaudhuri & Azadeh Farzan: Computer Aided Verification
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.T …
PDF
英语
DRM
€57.90
Swarat Chaudhuri & Azadeh Farzan: Computer Aided Verification
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.T …
PDF
英语
DRM
€57.85
