Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

53.49 EUR

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.

Teilen: