Formal Techniques for Distributed Objects, Components, and Systems : 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings
Book Details
Format
Paperback / Softback
Book Series
Lecture Notes in Computer Science
ISBN-10
3031954963
ISBN-13
9783031954962
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jun 15th, 2025
Print length
221 Pages
Weight
360 grams
Dimensions
15.50 x 23.60 x 1.60 cms
Ksh 9,900.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in June 2025, as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, during June 16–20, 2025. The 8 full papers and 5 short papers included in this book were carefully reviewed and selected from 25 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed system.
Get Formal Techniques for Distributed Objects, Components, and Systems by 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 pages.
