लेखक: Sebastian Wolff

समर्थन

2 द्वारा ईबुक Sebastian Wolff

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.87
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.10