Report - Kapitel 4: Beweis und Herleitung von Programmen · ’Funktionale Programmierung (WS2005/2006) 4/7 & $ % Prinzip des Gleichheitsbeweisens • Gleichungskette zwischen zwei Ausdruc¨

Please pass captcha verification before submit form