Computer Aided Verification
Editat de Arie Gurfinkel et al.
25 iul 2024
Paperback
Preț: 302.72 lei 378.40 lei
43-57 zile
-20%
Vijay Ganesh
Automated Technology for Verification and Analysis
Editat de Zhe Hou et al.
14 oct 2021
Paperback
Preț: 461.93 lei 577.41 lei
22-36 zile | 6-12 zile
-20%