Computer Aided Verification
Editat de Arie Gurfinkel et al.
25 iul 2024
Paperback
Preț: 302.72 lei 378.40 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ț: 484.78 lei 605.97 lei
Indisponibil temporar
-20%