• Formal Methods for Open Object...
  • Bestand

Treffer: Formal Methods for Open Object-Based Distributed Systems

Titel:
Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings / edited by Elie Najm, Uwe Nestmann, Perdita Stevens
Verantwortlich:
Najm, Elie (Verfasser) ; Nestmann, Uwe (Verfasser); Stevens, Perdita (Verfasser)
Veröffent­licht:
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003
Umfang:
... Seiten
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture notes in computer science ; 2884
alle Bände anzeigen
Andere Ausgaben:
Elektronische Reproduktion von: Najm, Elie, 1952-. Formal Methods for Open Object-Based Distributed Systems. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003
RVK-Notation:
SS 4000
Schlagworte:
Vorliegende Ausgabe:
Online-Ausgabe: Berlin : Springer, 2011. - 1 Online-Ressource. - (SpringerLink: Springer e-Books)
ISBN:
9783540399582 ; 3540399585 ; 9783540204916 (Sekundärausgabe) ; 3540204911 (Sekundärausgabe)
DOI:
10.1007/b94120

Zusatz-Informationen

Zusatz-Funktionen