Formal Techniques For Distributed Objects Components And Systems by Springer International Publishing AG Paperback

CN¥674.00
+ CN¥136.99 送货

Formal Techniques For Distributed Objects Components And Systems by Springer International Publishing AG Paperback

  • 品牌: Unbranded

Formal Techniques For Distributed Objects Components And Systems by Springer International Publishing AG Paperback

  • 品牌: Unbranded
价格: CN¥674.00
由……售出:
CN¥674.00
+ CN¥136.99 送货

仅剩 1 件库存

14天退货政策

付款方式:

描述

Formal Techniques For Distributed Objects Components And Systems by Springer International Publishing AG Paperback

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 andor communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healingorganising; and verification, validation, formal analysis, and testing of the above.
  • 品牌: Unbranded
  • 类别: 教育
  • 语言: English
  • 作者: Springer Internation
  • 页数: 209
  • 出版社/标签: Springer Internation
  • 格式: Paperback
  • Fruugo ID: 435243322-912895252
  • ISBN: 9783031086786

配送 & 退货

在 24 小时内发货

  • STANDARD: CN¥136.99 - 之间的交付 周五 02 一月 2026–周四 08 一月 2026

从 英国 送货。

我们会争取将您订购的产品按照您的规格完整地配送给您。不过,万一您收到不完整的订单,或收到的产品与您订购的不同,或者有其他原因让您对订单不满意,您可以要求全部或部分退货,您将收到相应产品的全额退款。 查看完整的退货政策