Mathematical foundations of software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) (Q2265997)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Mathematical foundations of software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)
scientific article

    Statements

    Mathematical foundations of software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) (English)
    0 references
    1985
    0 references
    The articles of this volume will be reviewed individually under the abbreviation ''Mathematical foundations of software development, Proc. Int. Conf., Berlin 1985, Vol. 1: Colloq. Trees in algebra and programming, Lect. Notes Comput. Sci. 185''.
    0 references
    Mathematical foundations
    0 references
    Software development
    0 references
    Proceedings
    0 references
    Conference
    0 references
    Berlin
    0 references
    TAPSOFT
    0 references
    Colloquium
    0 references
    Trees
    0 references
    Algebra
    0 references
    Programming
    0 references
    CAAP
    0 references

    Identifiers