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

Name: Formal Techniques for Distributed Objects, Components, and Systems
Brand: Springer International Publishing AG
SKU: 9783031086786
Price: 10800 KES
Availability: OutOfStock
ISBN: 9783031086786

1st ed. 2022

Book Details

Format Paperback / softback

Book Series Lecture Notes in Computer Science

ISBN-10 3031086783

ISBN-13 9783031086786

Edition 1st ed. 2022

Publisher Springer International Publishing AG

Imprint Springer International Publishing AG

Country of Manufacture GB

Country of Publication GB

Publication Date Jun 12th, 2022

Print length 209 Pages

Weight 344 grams

Dimensions 15.50 x 23.40 x 1.70 cms

Product Classification: Computer hardware Software Engineering Mathematical theory of computation Artificial intelligence Artificial intelligence (AI)

KSh 10,800.00

Temporarily out of stock, due soon 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

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.

Get Formal Techniques for Distributed Objects, Components, and Systems by Anna Philippou at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has 209 pages.