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.