Books > Computing & IT > Computer communications & networking
|
Buy Now
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-17, 2022, Proceedings (Paperback, 1st ed. 2022)
Loot Price: R2,048
Discovery Miles 20 480
|
|
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-17, 2022, Proceedings (Paperback, 1st ed. 2022)
Series: Lecture Notes in Computer Science, 13273
Expected to ship within 10 - 15 working days
|
Donate to Against Period Poverty
Total price: R2,068
Discovery Miles: 20 680
|
This book constitutes the refereed proceedings of the 42nd IFIP WG
6.1 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 2022.The
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|