3 Ebooks bởi Yakir Vizel
Fritz Henglein & Sharon Shoham: Verification, Model Checking, and Abstract Interpretation
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 202 …
EPUB
Anh
DRM
€102.21
Sharon Shoham & Yakir Vizel: Computer Aided Verification
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israe …
EPUB
Anh
DRM
€3.85
Sharon Shoham & Yakir Vizel: Computer Aided Verification
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israe …
EPUB
Anh
DRM
€3.84
