Verification, Model Checking, and Abstract Interpretation
Editat de Cezara Dragoi et al.
17 ian 2023
Paperback
Preț: 490.54 lei 613.18 lei
43-57 zile
-20%
Cezara Dragoi
Shape Analysis
Autor Bor-Yuh Evan Chang et al.
28 sep 2020
Paperback
Preț: 495.19 lei 618.99 lei
43-57 zile
-20%