Computer Aided Verification: Techniques and Applications
Editat de Jordan Dean
26 sep 2023
Hardback
Preț: 800.82 lei 1001.03 lei
6-8 săpt.
-20%
Jordan Dean
Handbook of Computer Aided Verification
Editat de Jordan Dean
19 sep 2023
Hardback
Preț: 841.85 lei 1052.31 lei
6-8 săpt.
-20%