Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II Lecture Notes in Computer Science, nr. 11562 Editat de Isil Dillig et al. 13 iul 2019 Paperback Preț: 323.13 lei 403.90 lei 38-45 zile -20%
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings Lecture Notes in Computer Science, nr. 10747 Editat de Isil Dillig et al. 10 ian 2018 Paperback Preț: 322.00 lei 402.51 lei 38-45 zile -20%