Zoekresultaten
Resultaat 1 - 3 (van 3)
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
J.C.M. Baeten | Harm van Beek | S. Mauw Specifying internet applications with Dicons
Non-fictie
Engels | 9 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computing Science, Eindhoven | 2000
Gedrukt boek
Harm van Beek Specification and analysis of internet applications
Non-fictie
Engels | 264 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2005
Gedrukt boek