Computer Aided Verification
Autor Serdar Tasiran et al.
7 oct 2020
Paperback
Preț: 358.95 lei 448.70 lei
6-8 săpt.
-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ț: 345.44 lei 431.80 lei
6-8 săpt.
-20%