(logisch) programmeren, informatica en software engineering

  • Loots, M.E., (Researcher)

    Project: Research project

    Project Details

    StatusFinished
    Effective start/end date1/12/981/12/99

    Research Output

    Empirical Semantics for Object-Oriented Programs

    Bergstra, J. A. & Loots, M. E., 1999, Utrecht: Onderwijsinstituut CKI UU. 155 p. (Artificial Intelligence Preprints Series; no. 007)

    Research output: Book/ReportReportProfessional

    Program Algebra for Flow Charts

    Bergstra, J. A. & Loots, M. E., 1999, Tilburg: Faculteit der Wijsbegeerte. 23 p. (Preprints in Philosophy; vol. 6)

    Research output: Book/ReportReportProfessional

    Programs, Interfaces and Components

    Bergstra, J. A. & Loots, M. E., 1999, Utrecht: Onderwijsinstituut CKI UU. 115 p. (Artificial Intelligence Preprints Series; no. 007)

    Research output: Book/ReportReportProfessional