Description: Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-18, 2022, Proceedings, Paperback by Mousavi, Mohammad Reza (EDT); Philippou, Anna (EDT), ISBN 3031086783, ISBN-13 9783031086786, Like New Used, Free shipping in the US This book constitutes the refereed proceedings of the 42nd IFIP WG International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.
Price: 92.19 USD
Location: Jessup, Maryland
End Time: 2024-11-16T14:32:24.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Book Title: Formal Techniques for Distributed Objects, Components, and System
Number of Pages: Xiv, 209 Pages
Language: English
Publication Name: Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6. 1 International Conference, FORTE 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-18, 2022, Proceedings
Publisher: Springer International Publishing A&G
Subject: Software Development & Engineering / General, Hardware / General, Computer Science, General
Publication Year: 2022
Type: Textbook
Item Weight: 12.3 Oz
Author: Anna Philippou
Item Length: 9.3 in
Subject Area: Mathematics, Computers
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
