Zum Inhalt springen

  1. Palsberg, Jens [VerfasserIn]; Schwartzbach, Michael I. [VerfasserIn]

    Object-oriented type systems - [Repr.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Chichester [u.a.]: Wiley, 1994

    Erschienen in: Wiley professional computing

  2. Beckert, Bernhard [HerausgeberIn]; Marché, Claude [Sonstige Person, Familie und Körperschaft] ; FoVeOOS 2010 Paris

    Formal verification of object-oriented software : International Conference FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 6528

  3. Rumbaugh, James [Sonstige Person, Familie und Körperschaft]; Märtin, Doris [ÜbersetzerIn]; Märtin, Doris [Sonstige Person, Familie und Körperschaft]

    Objektorientiertes Modellieren und Entwerfen

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    London: Prentice-Hall Internat., c 1994 ; München [u.a.]: Hanser [u.a.], c 1994

  4. Wirfs-Brock, Rebecca [VerfasserIn]; Wilkerson, Brian [VerfasserIn]; Wiener, Lauren [VerfasserIn]

    Objektorientiertes Software-Design

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    München [u.a.]: Hanser [u.a.], 1993 ; London: Prentice-Hall, 1993