3 电子书 Doron Peled
Cyrille Artho & Axel Legay: Automated Technology for Verification and Analysis
This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.The 31 papers …
PDF
英语
DRM
€57.46
Nicolas Halbwachs & Doron Peled: Computer Aided Verification
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV’99, held in Trento, Italy in July 1999 as part of FLo C’99.The 34 revised full …
PDF
英语
DRM
€57.50
