The Foundations of Program Verification Wiley Teubner on Applicable Theory in Computer Science Autor Jacques Loeckx et al. 3 feb 1987 Hardback Preț: 2736.89 lei 3749.17 lei Indisponibil temporar -27%