The Foundations of Program Verification Series in Computer Science Cu Jacques Loeckx et al. 3 oct 2013 Paperback Preț: 318.07 lei 6-8 săpt.
The Foundations of Program Verification Wiley Teubner on Applicable Theory in Computer Science Autor Jacques Loeckx et al. 3 feb 1987 Hardback Preț: 2633.39 lei 3419.99 lei 38-44 zile -23%
Grundlagen der Programmiersprachen Leitfäden und Monographien der Informatik Cu Jacques Loeckx et al. oct 1986 Paperback Preț: 367.44 lei 6-8 săpt.