Tests and Proofs Editat de Marieke Huisman et al. 10 sep 2024 Paperback Preț: 732.49 lei 963.80 lei 38-44 zile -24%
Concise Guide to Software Verification Autor Marieke Huisman et al. 25 iul 2023 Hardback Preț: 523.04 lei 653.80 lei 38-44 zile -20%