Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
Formal Techniques for Distributed Objects
Componentsand Systems : 36th IFIP WG 6.1 International ConferenceFORTE 2016Held as Part of the 11th I
SR 346
Inclusive of VAT
SR21Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR346
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June2016, as part of the 11th International Federated Conference onDistributed Computing Techniques, DisCoTec 2016.
The 18 revised full papers presented were carefully reviewed andselected from 44 submissions. The papers present a wide range of topicson distributed computing models and formal specification, testing, andverification methods.
The 18 revised full papers presented were carefully reviewed andselected from 44 submissions. The papers present a wide range of topicson distributed computing models and formal specification, testing, andverification methods.
Report an issue with this product.
