Zoekresultaten
Resultaat 1 - 2 (van 2)
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
J.C.M. Baeten | Harm van Beek | S. Mauw Operational semantics of DiCons, a formal language for developing internet applications
Non-fictie
Engels | 21 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2001
Gedrukt boek