Zum Inhalt springen

  2. Ait Ameur, Yamine [Verfasser:in] ; Schewe, Klaus-Dieter [Herausgeber:in]

    Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. 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, 2014

    Erschienen in: Lecture notes in computer science ; 8477

  3. Derrick, John [Verfasser:in] ; Fitzgerald, John [Sonstige Person, Familie und Körperschaft]; Gnesi, Stefania [Sonstige Person, Familie und Körperschaft]; Khurshid, Sarfraz [Sonstige Person, Familie und Körperschaft]; Leuschel, Michael [Sonstige Person, Familie und Körperschaft]; Reeves, Steve [Sonstige Person, Familie und Körperschaft]; Riccobene, Elvinia [Sonstige Person, Familie und Körperschaft]

    Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. 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, 2012

    Erschienen in: Lecture notes in computer science ; 7316

  4. Frappier, Marc [Verfasser:in] ; Glässer, Uwe [Sonstige Person, Familie und Körperschaft]; Khurshid, Sarfraz [Sonstige Person, Familie und Körperschaft]; Laleau, Régine [Sonstige Person, Familie und Körperschaft]; Reeves, Steve [Sonstige Person, Familie und Körperschaft]

    Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. 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, 2010

    Erschienen in: Lecture notes in computer science ; 5977