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
    Datensatz exportieren als...
  • BibTeX
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
2010., 2010

Details

Autor(en) / Beteiligte
Titel
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
Auflage
2010.
Ort / Verlag
Netherlands: Springer Nature
Erscheinungsjahr
2010
Link zum Volltext
Quelle
Alma/SFX Local Collection
Beschreibungen/Notizen
  • Constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010.
Sprache
Englisch
Identifikatoren
ISBN: 3642134645, 9783642134647, 9783642134630, 3642134637
ISSN: 0302-9743
eISSN: 1611-3349
DOI: 10.1007/978-3-642-13464-7
Titel-ID: cdi_hal_primary_oai_HAL_hal_01555338v1
Format
–
Schlagworte
Computer Communication Networks, Computer programming, programs, data, Computer Science, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, Software Engineering

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX