Computer Aided Verification
Editat de Arie Gurfinkel et al.
26 iul 2024
Paperback
Preț: 310.50 lei 388.12 lei
6-8 săpt.
-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
3-5 săpt. | 5-11 zile
-20%