-12% PaperbackWolfgang AhrendtDeductive Software Verification – The KeY Book €120,88€137,49 Delivery 3-4 weeksNotify
-8% PaperbackWolfgang AhrendtThe Logic of Software. A Tasting Menu of Formal Methods €103,29€112,49 Delivery 3-4 weeksNotify
-5% PaperbackWolfgang AhrendtDeductive Software Verification: Future Perspectives €52,89€56,24 Delivery 3-4 weeksNotify
