Concise Guide to Software Verification Texts in Computer Science Autor Marieke Huisman et al. 26 iul 2024 Paperback Preț: 389.19 lei 486.48 lei Indisponibil temporar -20%