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 - Programming and Software Engineering 10321 (Paperback)Ahmed Bouajjani (editor), Alexandra Silva (editor)
- We can order this
The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.
Publisher: Springer International Publishing AG
Number of pages: 243
Weight: 403 g
Dimensions: 235 x 155 mm
Edition: 1st ed. 2017
You may also be interested in...
Please sign in to write a review