Computer Aided Verification
Autor Serdar Tasiran et al.
7 oct 2020
Paperback
Preț: 345.28 lei 431.59 lei
6-8 săpt.
-20%
Isil Dillig
Verification, Model Checking, and Abstract Interpretation
Editat de Isil Dillig et al.
10 ian 2018
Paperback
Preț: 335.48 lei 419.35 lei
6-8 săpt.
-20%