Home » Books » 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, Neuchatel, Switzerland, June 19-22, 2017, Proceedings – Lecture Notes in Computer Science 10321

Download 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, Neuchatel, Switzerland, June 19 (Epub & Pdf)

Overview :

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, Neuchatel, Switzerland, June 19-22, 2017, Proceedings - Lecture Notes in Computer Science 10321 by Ahmed Bouajjani Details

This book represents the proceedings of the IFIP WG 6.1 on Formal Technologies of Distributed Objects, Components and Systems, FORTE 2017, held in Neuchatel, Switzerland, in June 2017, as part…

Formal Techniques for Distributed Objects, Components, and Systems synopsis

This book represents the proceedings of the IFIP WG 6.1 on Formal Technologies of Distributed Objects, Components and Systems, FORTE 2017, held in Neuchatel, Switzerland, in June 2017, as part of the Twelfth International Congress on Distributed Computing Technologies, DisCoTec 2017. A complete 19-page revised test was presented along with 3 short sheets and 1 tool carefully from 30 presentations.

Papers provide a wide range of topics on distributed computing models, formal specifications, testing and verification methods.



Please don't review this Book if you received a freebie for writing this review, or if you're connected in any way to the owner.