Model Driven Software Engineering W&I

Onderzoeksoutput

Filter
Hoofdstuk
1991

An introduction to the relational calculus

Feijen, W. H. J. & Gasteren, van, A. J. M., 1991, C.S. Scholten dedicata : van oude machines en nieuwe rekenwijzen. Feijen, W. H. J. & Gasteren, van, A. J. M. (redactie). Schoonhoven: Academic Service, blz. 57-81

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1990

A little exercise in deriving multiprograms

Feijen, W. H. J., 1990, Beauty is our business : a birthday salute to Edsger W. Dijkstra. Feijen, W. H. J., Gasteren, van, A. J. M., Gries, D. & Misra, J. (redactie). Berlin: Springer, blz. 119-126 (Texts and monographs in computer science).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

The problem of the majority network

Bijlsma, A., Bulterman, R. W., Feijen, W. H. J., Scholten, C. S. & Woude, van der, J. C. S. P., 1990, Beauty is our business : a birthday salute to Edsger W. Dijkstra. Feijen, W. H. J., Gasteren, van, A. J. M., Gries, D. & Misra, J. (redactie). Berlin: Springer, blz. 112-118 (Texts and monographs in computer science).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic