Program Proofs Autor K. Rustan M. Leino et al. 7 mar 2023 Paperback Preț: 486.88 lei 609.19 lei 3-4 săpt. | 6-12 zile -20%