1 Ebooks par Michael Emmi
Cezara Dragoi & Michael Emmi: Verification, Model Checking, and Abstract Interpretation
This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. …
EPUB
Anglais
DRM
€83.22
