3 كتب إلكترونية بواسطة Rayna Dimitrova
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
Rayna Dimitrova & Ori Lahav: Verification, Model Checking, and Abstract Interpretation
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in …
EPUB
الإنجليزية
DRM
€76.82
Rayna Dimitrova & Ori Lahav: Verification, Model Checking, and Abstract Interpretation
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in …
EPUB
الإنجليزية
DRM
€77.01
