Zum Inhalt springen

  1. Dams, Dennis [Herausgeber:in]; Roever, Willem-Paul de [Gefeierte:r]; Hannemann, Ulrich [Herausgeber:in]; Steffen, Martin [Herausgeber:in]; Dams, Dennis René [Herausgeber:in]

    Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever

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

    Erschienen in: Lecture notes in computer science ; 5930

  2. Brat, Guillaume [Verfasser:in] ; Rungta, Neha [Sonstige Person, Familie und Körperschaft]; Venet, Arnaud [Sonstige Person, Familie und Körperschaft]

    NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. 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, 2013

    Erschienen in: Lecture notes in computer science ; 7871

  3. Meyer, Bertrand [Verfasser:in] ; Nordio, Martin [Sonstige Person, Familie und Körperschaft]

    Tools for Practical Software Verification : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

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

  4. Dams, Dennis [Verfasser:in] ; Hannemann, Ulrich [Sonstige Person, Familie und Körperschaft]; Steffen, Martin [Sonstige Person, Familie und Körperschaft]

    Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever

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

    Erschienen in: Lecture notes in computer science ; 5930