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. Sewell, Marc T. [Author]; Sewell, Laura M. [Author]

    The software architect's profession : an introduction

    Books
    Close

    Bookmarks

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

    Upper Saddle River, NJ: Prentice Hall [u.a.], 2002

    Published in: Software architecture series

  3. 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

  4. 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