Model Driven Software Engineering W&I

Onderzoeksoutput

Filter
Boek
2014

Modeling and analysis of communicating systems

Groote, J. F. & Mousavi, M. R., 2014, London: MIT Press. 376 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Type theory and formal proof : an introduction

Nederpelt, R. P. & Geuvers, J. H., 2014, Cambridge: Cambridge University Press. 436 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

11 Citaten (Scopus)
2012

Code generation with templates

Arnoldus, B. J., Brand, van den, M. G. J., Serebrenik, A. & Brunekreef, J. J., 2012, Amsterdam: Atlantis Press. (Atlantis studies in computing; vol. 1)

Onderzoeksoutput: Boek/rapportBoekAcademic

2011

Logical reasoning : a first course

Nederpelt, R. P. & Kamareddine, F., 2011, 2nd rev. redactie London: King's College Publications. 386 blz. (Texts in computing; vol. 3)

Onderzoeksoutput: Boek/rapportBoekProfessioneel

2010

Process algebra : equational theories of communicating processes

Baeten, J. C. M., Basten, T. & Reniers, M. A., 2010, Cambridge: Cambridge University Press. 460 blz. (Cambridge tracts in theoretical computer science; vol. 50)

Onderzoeksoutput: Boek/rapportBoekAcademic

2007

De achterkant van sudoku : oplossen, programmeren en ontwerpen

Zantema, H., 2007, Haarlem: Aramith. 144 blz.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

2005

A modern perspective on type theory : from its origins until today

Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2005, Dordrecht: Kluwer Academic Publishers. 357 blz. (Applied logic series. APLS; vol. 29)

Onderzoeksoutput: Boek/rapportBoekAcademic

2004

Logical reasoning : a first course

Nederpelt, R. P. & Kamareddine, F., 2004, London: King's College Publications. 410 blz. (Texts in computing; vol. 3)

Onderzoeksoutput: Boek/rapportBoekProfessioneel

2002

Process algebra with timing

Baeten, J. C. M. & Middelburg, C. A., 2002, Berlin: Springer. 287 blz. (Monographs in theoretical computer science)

Onderzoeksoutput: Boek/rapportBoekAcademic

1988

A method of programming

Dijkstra, E. W. & Feijen, W. H. J., 1988, Amsterdam: Addison-Wesley. 188 blz.

Onderzoeksoutput: Boek/rapportBoekProfessioneel