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)

von: Roland Backhouse · Jeremy Gibbons · Roy Crole Taschenbuch Details (Deutschland) ISBN: 978-3-540-43613-3 ISBN-10: 3-540-43613-8 Springer · 2008