Book Volume 2297 2002

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

Editors:

ISBN: 978-3-540-43613-3 (Print) 978-3-540-47797-6 (Online)