• Neu
Bocchi / Kulahcioglu Ozkan | Formal Techniques for Distributed Objects, Components, and Systems | Buch | 978-3-032-28186-9 | www.sack.de

Buch, Englisch, 278 Seiten, Format (B × H): 155 mm x 235 mm

Reihe: Lecture Notes in Computer Science

Bocchi / Kulahcioglu Ozkan

Formal Techniques for Distributed Objects, Components, and Systems

46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8–12, 2026, Proceedings
Erscheinungsjahr 2026
ISBN: 978-3-032-28186-9
Verlag: Springer

46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8–12, 2026, Proceedings

Buch, Englisch, 278 Seiten, Format (B × H): 155 mm x 235 mm

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-032-28186-9
Verlag: Springer

This book constitutes the refereed proceedings of the 46th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2026, held in Urbino, Italy, as part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, during June 8–12, 2026.

The 12 full papers, 1 short paper and 2 tool papers included in this book were carefully reviewed and selected from 27 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed system.

Bocchi / Kulahcioglu Ozkan Formal Techniques for Distributed Objects, Components, and Systems jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Bocchi, Laura
Kulahcioglu Ozkan, Burcu

Fachgebiete

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.