The Foundations of Program Verification Wiley Teubner on Applicable Theory in Computer Science Autor Jacques Loeckx et al. 3 feb 1987 Hardback Preț: 2850.32 lei 3701.72 lei 38-45 zile -23%