Zoekresultaten
Resultaat 1 - 1 (van 1)
J.C.M. Baeten | E.P. de Vink Aximatizing GSOS with termination
Non-fictie
Engels | 22 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2001
Gedrukt boek