✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 379.645 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Softcover - 9783319395692
53,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June2016, as part of the 11th International Federated Conference onDistributed Computing Techniques, DisCoTec 2016.
The 18 revised full papers presented were carefully reviewed andselected from 44 submissions. The papers present a wide range of topicson distributed computing models and formal specification, testing, andverification methods.

36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Details

Verlag Springer International Publishing
Ersterscheinung 27. Juni 2016
Maße 23.5 cm x 15.5 cm
Gewicht 446 Gramm
Format Softcover
ISBN-13 9783319395692
Auflage 1st ed. 2016
Seiten 275

Schlagwörter

Angewandte Informatik, Computer and Information Systems Applications, Computer Communication Networks, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Netzwerk-Hardware, Software Engineering, Theoretische Informatik, Theory of Computation

Herstellerinformationen +