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

  2. Agha, Gul [Herausgeber:in]; Talcott, Carolyn L. [Gefeierte:r]; Danvy, Oilivier [Sonstige Person, Familie und Körperschaft]; Meseguer, José [Sonstige Person, Familie und Körperschaft]; Talcott, Carolyn [Gefeierte:r]

    Formal modeling: actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th birthday

    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 ; 7000

  3. Beckert, Bernhard [Herausgeber:in]; Hähnle, Reiner [Sonstige Person, Familie und Körperschaft]; Schmitt, Peter H. [Sonstige Person, Familie und Körperschaft]; Leino, K. Rustan M. [Sonstige Person, Familie und Körperschaft]

    Verification of object-oriented software: The KeY approach

    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, 2007

    Erschienen in: Lecture notes in computer science ; 4334

  4. Beckert, Bernhard [Sonstige Person, Familie und Körperschaft]; Hähnle, Reiner [Sonstige Person, Familie und Körperschaft]; Schmitt, Peter H. [Sonstige Person, Familie und Körperschaft]

    Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino

    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, 2007

    Erschienen in: Lecture notes in computer science ; 4334

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

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

  7. Agha, Gul [Verfasser:in] ; Danvy, Olivier [Herausgeber:in]; Meseguer, José [Herausgeber:in]

    Formal Modeling: Actors, Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

    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 ; 7000