Software Verification Programming and Software Engineering Editat de Roderick Bloem et al. 22 feb 2022 Paperback Preț: 344.04 lei 430.06 lei 6-8 săpt. -20%