Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 6 von 7
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings [Elektronische Ressource]
2003
Volltextzugriff (PDF)

Details

Autor(en) / Beteiligte
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 [Elektronische Ressource]
Ort / Verlag
Berlin, Heidelberg : Springer Berlin Heidelberg, Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
Erscheinungsjahr
2003
Sprache
Englisch
Identifikatoren
ISBN: 9783540399582
OCLC-Nummer: 1076167490, 1076167490
Titel-ID: 990184228380206441
Format
–
Schlagworte
Verteiltes System, Offenes Kommunikationssystem, Objektorientierung, Formale Methode, Computer science, Computer Communication Networks, Software engineering, Operating systems (Computers), Logic design