Free shipping on all orders over $79* Limited Time Only
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Formal Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings - Alexey Gotsman

Formal Techniques for Distributed Objects, Components, and Systems

40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings

By: Alexey Gotsman (Editor), Ana Sokolova (Editor)

eBook | 9 June 2020

At a Glance

eBook

RRP $99.00

$89.99

or 4 interest-free payments of $22.50 with

 or 

Instant Digital Delivery to your Kobo Reader App

This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.*

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

*The conference was held virtually due to the COVID-19 pandemic.

Chapter 'Conformance-Based Doping Detection for Cyber-Physical Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

on

You Can Find This eBook In

Non-FictionComputing & I.T.Computer Programming & Software DevelopmentSoftware EngineeringComputer Networking & CommunicationsComputer ScienceArtificial IntelligenceComputer HardwareMathematical Theory of ComputationMathematics

More in Software Engineering

The End of Leadership - Barbara Kellerman

eBOOK

The End of Leadership

eBook

$21.99

The Debugging Handbook - Johannes Kuhlmann

eBOOK

The Debugging Handbook

eBook

RRP $67.55

$54.99

19%
OFF
API Management with Bruno - Lyria Tharax

eBOOK

API Management with Bruno

eBook

$47.99

Essential n8n Playbook - Leandro Calado

eBOOK

Essential n8n Playbook

eBook

$4.99

This product is categorised by