Skip to contents

  1. Roggenbach, Markus [Author]; Cerone, Antonio [Author]; Schlingloff, Bernd-Holger [Author]; Schneider, Gerardo [Author]; Shaikh, Siraj Ahmed [Author]; Tucker, John V. [Author] ; Broy, Manfred [Writer of preface]

    Formal methods for software engineering : languages, methods, application domains

    Books
    Close

    Bookmarks

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

    Cham: Springer, 2022

    Published in: Texts in Theoretical Computer Science. An EATCS Series

  2. Sommerville, Ian [Author]

    Software engineering - [5. ed., reprinted]

    Books
    Close

    Bookmarks

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

    Wokingham [u.a.]: Addison-Wesley, 1996

    Published in: International computer science series

  3. Behforooz, Ali [Author] ; Hudson, Frederick J. [Other]

    Software engineering fundamentals

    Books
    Close

    Bookmarks

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

    New York; Oxford: Oxford University Press, 1996

  4. Klein, Ari D. [Editor]; Bertoa, Manuel F. [Other]

    Computer software engineering research

    Books
    Close

    Bookmarks

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

    New York; NY: Nova Science Publ., 2007