Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop Oxford, UK, April 10-14, 2000, revised lectures
En línea
XIV, 385 p. : il. ; 24 cm
9783540436133, 3540436138
912337186