Zoekresultaten
Resultaat 1 - 1 (van 1)
A.M. Silva | J.J.M.M. Rutten Behavioural differential equations and coinduction for binary trees
Non-fictie
Engels | 13 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2007
Gedrukt boek
Resultaat 1 - 1 (van 1)
Non-fictie
Engels | 13 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2007
Gedrukt boek