Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures (Lecture Notes in Computer Science LNCS 2297)
Springer, 2002. paperback. Minor cover wear. No markings. Always securely packed. Professional booksellers since 1994. Satisfaction guaranteed.