The Foundations of Program Verification Series in Computer Science Cu Jacques Loeckx et al. 3 oct 2013 Paperback Preț: 309.06 lei 6-8 săpt.