Formal Methods in Computer Science Textbooks in Mathematics Autor Jiacun Wang et al. 3 iul 2019 Paperback Preț: 711.57 lei 889.45 lei 43-57 zile -20%