Zum Inhalt springen

  1. Beckert, Bernhard [Herausgeber:in]; 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
    Online ansehen
    Schließen
    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. De Troyer, Olga [Sonstige Person, Familie und Körperschaft]; De Troyer, Olga [Herausgeber:in] ; ER 30 2011 Brüssel, FP UML 7 2011 Brüssel

    Advances in conceptual modeling : recent developments and new directions ; ER 2011 workshops, FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011 ; proceedings

    Bücher
    Online ansehen
    Schließen
    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 ; 6999

  4. Beckert, Bernhard [Verfasser:in] ; Damiani, Ferruccio [Sonstige Person, Familie und Körperschaft]; Gurov, Dilian [Sonstige Person, Familie und Körperschaft]

    Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer, 2012

    Erschienen in: Lecture notes in computer science ; 7421

  5. Beckert, Bernhard [Verfasser:in] ; Marche, Claude [Sonstige Person, Familie und Körperschaft]

    Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6528

  6. De Troyer, Olga [Verfasser:in] ; Bauzer Medeiros, Claudia [Sonstige Person, Familie und Körperschaft]; Billen, Roland [Sonstige Person, Familie und Körperschaft]; Hallot, Pierre [Sonstige Person, Familie und Körperschaft]; Simitsis, Alkis [Sonstige Person, Familie und Körperschaft]; Mingroot, Hans [Sonstige Person, Familie und Körperschaft]

    Advances in Conceptual Modeling. Recent Developments and New Directions : ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6999