Zoekresultaten
Resultaat 1 - 7 (van 7)
J.A. Bergstra Programmatuuronderzoek in de schaduw
Non-fictie
Nederlands | 18 pagina's | 1985
Gedrukt boek
J.A. Bergstra | J.W. Klop Semi-complete termherschrijfsystemen
Non-fictie
Nederlands | 123 pagina's | Kluwer, Deventer | 1987
Gedrukt boek
J.A. Bergstra | S.F.M. van Vlijmen Theoretische software-engineering
kenmerken, faseringen en classificaties
Non-fictie
Nederlands | 147 pagina's | Zeno, The Leiden-Utrecht Research Institute of Philosophy, Utrecht | 1998
Gedrukt boek
J.A. Bergstra | J.W. Klop | A. Middeldorp Termherschrijfsystemen
Inleiding in de theorie van termherschrijfsystemen waarin aan de orde komen basisbegrippen, reguliere termherschrijfsystemen, reductiestrategieën, terminatie en completering.
Non-fictie
Nederlands | 170 pagina's | Kluwer Bedrijfswetenschappen, Deventer | 1989
Gedrukt boek
J.A. Bergstra Terminologie van algebraïsche specificaties
Non-fictie
Nederlands | 122 pagina's | Kluwer, Deventer | 1987
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | J.L.M. Vrancken Processen en procesexpressies
Non-fictie
Nederlands | 18 pagina's | Vakgroep Programmatuur, Universiteit van Amsterdam, Amsterdam | 1987
Gedrukt boek
J.C.M. Baeten | J.A. Bergstra | J.W. Klop Ready trace semantiek voor procesalgebra met prioriteitsoperator
Non-fictie
Nederlands | 10 pagina's | Universiteit van Amsterdam, Facultaire Vakgroep Informatica, Amsterdam | 1985
Gedrukt boek