Zum Inhalt springen

  1. Barthe, Gilles [HerausgeberIn]; Boer, Frank S. de [Sonstige Person, Familie und Körperschaft] ; FMOODS 10 2008 Oslo

    Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings

    Bücher
    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, 2008

    Erschienen in: Lecture notes in computer science ; 5051

  2. Gorrieri, Roberto [HerausgeberIn]; Wehrheim, Heike [Sonstige Person, Familie und Körperschaft] ; FMOODS 8 2006 Bologna

    Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 ; proceedings

    Bücher
    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, 2006

    Erschienen in: Lecture notes in computer science ; 4037

  3. Bonsangue, Marcello M. [HerausgeberIn]; Johnsen, Einar Broch [Sonstige Person, Familie und Körperschaft] ; FMOODS 9 2007 Paphos

    Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 ; proceedings

    Bücher
    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 ; 4468

  4. Steffen, Martin [HerausgeberIn]; Zavattaro, Gianluigi [Sonstige Person, Familie und Körperschaft] ; FMOODS 7 2005 Athen

    Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 ; proceedings

    Bücher
    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, 2005

    Erschienen in: Lecture notes in computer science ; 3535

  5. Bruni, Roberto [HerausgeberIn]; Dingel, Juergen [Sonstige Person, Familie und Körperschaft] ; FMOODS 13 2011 Reykjavík, FORTE 31 2011 Reykjavík

    Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011 ; ; proceedings

    Bücher
    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 ; 6722

  6. Hatcliff, John [HerausgeberIn]; Zucca, Elena [Sonstige Person, Familie und Körperschaft] ; FMOODS 12 2010 Amsterdam, FORTE 30 2010 Amsterdam

    Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings

    Bücher
    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 ; 6117

  7. Lee, David [HerausgeberIn]; Lopes, Antonia [Sonstige Person, Familie und Körperschaft]; Poetzsch-Heffter, Arnd [Sonstige Person, Familie und Körperschaft] ; International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks, International Conference FMOODS 11 2009 Lissabon

    Formal techniques for distributed systems : joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 ; proceedings

    Bücher
    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, 2009

    Erschienen in: Lecture notes in computer science ; 5522

  8. Najm, Elie [HerausgeberIn] ; International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks, FMOODS 6 2003 Paris

    Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, Paris, France, November 19 - 21, 2003 ; proceedings

    Bücher
    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, 2003

    Erschienen in: Lecture notes in computer science ; 2884

  9. Najm, Elie [HerausgeberIn]; Stefani, Jean-Bernard [Sonstige Person, Familie und Körperschaft] ; International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks, International Workshop on Formal Methods for Open Object Based Distributed Systems 1 1996 Paris

    Formal methods for open object-based distributed systems - [1. ed.]

    Bücher
    Schließen

    Merkliste

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

    London; Weinheim [u.a.]: Chapman & Hall, 1997