The Foundations of Program Verification Series in Computer Science Cu Jacques Loeckx et al. 3 oct 2013 Paperback Preț: 306.08 lei 43-57 zile