Items related to Formal Techniques for Distributed Objects, Components,...
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th ... (Lecture Notes in Computer Science, 12136) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Formal Techniques for Distributed Objects, Components,...
Stock Image
Formal Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th I
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783030500856
Quantity: 10 available
Stock Image
Formal Techniques for Distributed Objects, Components, and Systems (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030500856_new
Quantity: Over 20 available
Seller Image
Formal Techniques for Distributed Objects, Components, and Systems
Published by
Springer International Publishing Jun 2020, 2020
ISBN 10: 3030500853
ISBN 13: 9783030500856
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 252 pp. Englisch. Seller Inventory # 9783030500856
Quantity: 2 available
Seller Image
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
Published by
Springer International Publishing, 2020
ISBN 10: 3030500853
ISBN 13: 9783030500856
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering. Seller Inventory # 9783030500856
Quantity: 1 available
Seller Image
Formal Techniques for Distributed Objects, Components, and Systems
Published by
Springer International Publishing, 2020
ISBN 10: 3030500853
ISBN 13: 9783030500856
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 C. Seller Inventory # 385700355
Quantity: Over 20 available
Stock Image
Formal Techniques for Distributed Objects, Components, and Systems (Programming and Software Engineering)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 237. Seller Inventory # 26379018389
Quantity: 4 available
Stock Image
Formal Techniques for Distributed Objects, Components, and Systems (Programming and Software Engineering)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 237. Seller Inventory # 383837002
Quantity: 4 available
Stock Image
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
Published by
Springer-Nature New York Inc, 2020
ISBN 10: 3030500853
ISBN 13: 9783030500856
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 252 pages. 9.25x6.10x0.53 inches. In Stock. Seller Inventory # x-3030500853
Quantity: 2 available
Stock Image
Formal Techniques for Distributed Objects, Components, and Systems (Programming and Software Engineering)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 237. Seller Inventory # 18379018399
Quantity: 4 available
Seller Image
Formal Techniques for Distributed Objects, Components, and Systems
Published by
Springer International Publishing, Springer Nature Switzerland Jun 2020, 2020
ISBN 10: 3030500853
ISBN 13: 9783030500856
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch. Seller Inventory # 9783030500856
Quantity: 2 available