Computer Aided Verification
Editat de Arie Gurfinkel et al.
26 iul 2024
Paperback
Preț: 310.50 lei 388.12 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%