Zum Inhalt springen

  1. Palanque, Philippe [Verfasser:in] ; Paternó, Fabio [Sonstige Person, Familie und Körperschaft]

    Interactive Systems Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001

    Erschienen in: Lecture notes in computer science ; 1946