Skip to contents

  3. Berner, Gerd [Author]

    Lexikon für DV-Systementwicklung

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Köln: R. Müller, 1986

    Published in: Rudolf-Müller-online-DV-Praxis

  7. Meyer, Bertrand [Editor]; Nawrocki, Jerzy R. [Other]; Walter, Bartosz [Other] ; CEE SET 2 2007 Posen

    Balancing agility and formalism in software engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznań, Poland, October 10-12, 2007 ; revised selected papers

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Published in: Lecture notes in computer science ; 5082

  8. Jackson, Michael A. [Other]; Daylight, Edgar G. [Other]; De Grave, Kurt [Editor]

    Formalism & intuition in software development : a conversation with Michael A. Jackson conducted by Edgar G. Daylight and Bas van Vlijmen on March 8th, 2013 in Amsterdam, the Netherlands, and by Edgar G. Daylight on July 22nd, 2013 in London, England - [1. ed., version 1.0]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Geel: Lonely Scholar, 2015

    Published in: Lonely Scholar conversations ; 5

  16. Kaner, Cem [Author]; Falk, Jack [Author]; Nguyen, Hung Quoc [Author]

    Testing computer software - [2. ed.]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York: Van Nostrand Reinhold [u.a.], 1993

    Published in: VNR computer library

  17. Dumke, Reiner [Other]; Lother, Mathias [Other]; Wille, Cornelius [Other]; Zbrog, Fritz [Other]

    Web engineering

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    München [u.a.]: Pearson Studium, 2003

    Published in: i - informatik

  19. Bibel, Wolfgang [Editor]; Jantke, Klaus P. [Editor] ; Workshop on Mathematical Methods of Specification and Synthesis of Software Systems 1985 Wendisch Rietz

    Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22 - 26, 1985

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin: Akademie-Verlag, c 1986

    Published in: Mathematical research ; 31