(logisch) programmeren, informatica en software engineering

  • Loots, M.E. (Researcher)

    Project: Research project

    Research Output

    Filter
    Report
    1999

    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

    Software Mechanics for Java-Multi-Threading

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

    Research output: Book/ReportReportProfessional