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ț: 484.78 lei 605.97 lei
Indisponibil temporar
-20%