The Foundations of Program Verification Series in Computer Science Autor Kurt Sieber 3 oct 2013 Paperback Preț: 320.47 lei 6-8 săpt.