Property preserving Petri Net Process Algebra In Software Engineering

CN¥949.00
+ CN¥58.99 送货
  • product image

Property preserving Petri Net Process Algebra In Software Engineering

  • 品牌: Unbranded
由……售出:

Property preserving Petri Net Process Algebra In Software Engineering

  • 品牌: Unbranded

CN¥949.00

有货
+ CN¥58.99 送货

14天退货政策

由……售出:

CN¥949.00

有货
+ CN¥58.99 送货

14天退货政策

付款方式：

描述

Property preserving Petri Net Process Algebra In Software Engineering

In a component-based approach for system design one of the difficult problems is how to prove the correctness of the created components. This book offers a component-based methodology for the creation and verification of design specifications. The methodology is presented as an algebra called Property-Preserving Petri Net Process Algebra (PPPA).
  • 品牌: Unbranded
  • 类别: 计算机与互联网
  • 语言: English
  • 作者: Hejiao Huang (Harbin Inst Of Technology Shenzhen Graduate School China)
  • 出版日期: 2023-07-01
  • 页数: 320
  • 出版社／标签: World Scientific Publishing Co Pte Ltd
  • 格式: Hardback
  • Fruugo ID: 480973919-1000214683
  • ISBN: 9789814324281

送货

在 6 天内发货

  • STANDARD: CN¥58.99 - 之间的交付 周一 29 六月 2026–周五 17 七月 2026

从 英国 送货。

退货

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

查看完整的退货政策