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