Concise Guide to Software Verification: From Model Checking to Annotation Checking Texts in Computer Science Autor Marieke Huisman et al. 25 iul 2023 Hardback Preț: 521.90 lei 652.38 lei 38-44 zile -20%
