Computer Aided Verification
Autor Serdar Tasiran et al.
7 oct 2020
Paperback
Preț: 351.74 lei 439.68 lei
43-57 zile
-20%
Isil Dillig
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Editat de Isil Dillig et al.
10 ian 2018
Paperback
Preț: 338.49 lei 423.11 lei
43-57 zile
-20%