Zoekresultaten
Resultaat 1 - 2 (van 2)
W.J. Fokkink | J.F. Groote | M.A. Reniers Process algebra needs proof methodology
Non-fictie
Engels | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2004
Gedrukt boek
J.F. Groote | M.A. Reniers Algebraic process verification
Non-fictie
Engels | 65 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 2000
Gedrukt boek