Formal Techniques For Distributed Objects Components And Systems 41st Ifip - Springer Nature B.V - Paperback - English Book - Mathematical logic

CN¥599.00
+ CN¥113.49 送货

Formal Techniques For Distributed Objects Components And Systems 41st Ifip - Springer Nature B.V - Paperback - English Book - Mathematical logic

由……售出:

Formal Techniques For Distributed Objects Components And Systems 41st Ifip - Springer Nature B.V - Paperback - English Book - Mathematical logic

CN¥599.00

有货
+ CN¥113.49 送货

14天退货政策

由……售出:

CN¥599.00

有货
+ CN¥113.49 送货

14天退货政策

付款方式:

描述

Formal Techniques For Distributed Objects Components And Systems 41st Ifip - Springer Nature B.V - Paperback - English Book - Mathematical logic

This Book Constitutes The Refereed Proceedings Of The 41st Ifip Wg 6.1 International Conference On Formal Techniques For Distributed Objects, Components, And Systems, Forte 2021, Held In Valletta, Malta, In June 2021, As Part Of The 16th International Federated Conference On Distributed Computing Techniques, Discotec 2021. The 9 Regular Papers And 4 Short Papers Presented Were Carefully Reviewed And Selected From 26 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.
  • Fruugo ID: 469766310-983721241
  • ISBN: 9783030780883

配送 & 退货

在 24 小时内发货

  • STANDARD: CN¥113.49 - 之间的交付 周五 03 四月 2026–周四 09 四月 2026

从 英国 送货。

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