The Foundations of Program Verification Wiley Teubner on Applicable Theory in Computer Science Autor Jacques Loeckx et al. 3 feb 1987 Hardback Preț: 2848.32 lei 3699.11 lei 38-45 zile -23%
The Foundations of Program Verification Series in Computer Science Cu Jacques Loeckx et al. 3 oct 2013 Paperback Preț: 306.08 lei 6-8 săpt.