1 หนังสืออิเล็กทรอนิกส์โดย Chuchu Fan
Roderick Bloem & Rayna Dimitrova: Software Verification
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, …
EPUB
อังกฤษ
DRM
€63.86
