Cart
Free Shipping on all orders in Australia
Over 7 million books in stock
We aim to be carbon neutral by 2022
Formal Techniques for Distributed Objects, Components, and Systems By Christel Baier

Formal Techniques for Distributed Objects, Components, and Systems by Christel Baier

Condition - Very Good
$119.99
Only 2 left

Formal Techniques for Distributed Objects, Components, and Systems Summary

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 by Christel Baier

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.

The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

Table of Contents

Component- and Model-Based Design.-Object Technology.- Service-Oriented Computing Systems.- Mobile Computing Systems.- Security.- Privacy.- Adaptive Distributed Systems.- Self-Stabilization.- Self-Healing.- Verification.- Formal Analysis.

Additional information

GOR010956769
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 by Christel Baier
Used - Very Good
Paperback
Springer International Publishing AG
2018-05-30
197
331992611X
9783319926117
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us

Customer Reviews - Formal Techniques for Distributed Objects, Components, and Systems