Opening book details…
Can I read Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings on EtoBox?
Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings by Mohammad Reza Mousavi; Anna Philippou; International Federation for Information Processing Working Group Architectures and Protocols for Distributed Systems is a computer science book available to read on EtoBox.
What is Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings about?
This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; secur
Who reads Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Mohammad Reza Mousavi; Anna Philippou; International Federation for Information Processing Working Group Architectures and Protocols for Distributed Systems
- Publisher
- Springer International Publishing AG
- Published
- 2022
- Language
- EN
- ISBN
- 9783031086793
- Category
- computer science
- Subjects
- Engineering, Science, Technology
- Updated
- 2026-03-25
More by Mohammad Reza Mousavi; Anna Philippou; International Federation for Information Processing Working Group Architectures and Protocols for Distributed Systems
Similar books
- Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings — Jorge A. Pérez, Nobuko Yoshida (2019)
- Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held As Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings — Christel Baier; Luís Caires (2018)
- Formal techniques for distributed objects, components, and systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015 : proceedings — Susanne Graf and Mahesh Viswanathan (2015)
- Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings — Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (2012)
- Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held As Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings — Alexandra Silva Ahmed Bouajjani (2017)
- Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings — Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (2011)
