Concise Guide to Software Verification Texts in Computer Science Autor Marieke Huisman et al. 25 iul 2023 Hardback Preț: 570.30 lei 712.86 lei 38-44 zile -20%