Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... Notes in Computer Science, 2297, Band 2297)
Ein praxisnahes Werk aus dem Oxford-Sommerkurs 2000, das algebraische und koalgebraische Ansätze für die Programmmathematik beleuchtet, mit anschaul ...