Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
54.99 EUR53.49 EUR3% Off
Ein kompakter Leitfaden aus der Sommerlehranstalt Oxford 2000, der algebraische und koalgebraische Techniken für die mathematische Konstruktion von Programmen systematisch erklärt und praktische Beispiele liefert.