Model Checking Software 29th International Symposium Spin 2023 Paris Fr - Springer Nature B.V
由……售出:
CN¥574.00
有货
+ CN¥102.49 送货
14天退货政策
付款方式：
- 品牌: Unbranded
产品详情
产品详情
Model Checking Software 29th International Symposium Spin 2023 Paris Fr - Springer Nature B.V
This Book Constitutes The Refereed Proceedings Of The 29th International Symposium On Model Checking Software, Spin 2023, Held In Paris, France, During April 26-27, 2023. The 9 Full Papers And 2 Short Papers Included In This Book Were Carefully Reviewed And Selected From 21 Submissions. They Were Organized In Topical Sections As Follows: Binary Decision Diagrams, Concurrency, Testing, Synthesis, Explicit-state Model Checking.
- 品牌: Unbranded
- 类别: 科学、 医学与自然
-
语言: English
-
作者: Springer Nature B.V
-
出版日期: 2023-05-02
-
页数: 212
-
出版社／标签: Springer Nature B.V
-
格式: Paperback
- Fruugo ID: 469772346-983727268
- ISBN: 9783031321566
配送
送货
在 24 小时内发货
-
STANDARD: CN¥102.49 - 之间的交付 周四 12 十一月 2026–周三 18 十一月 2026
从 英国 送货。
退货
退货
我们会争取将您订购的产品按照您的规格完整地配送给您。不过，万一您收到不完整的订单，或收到的产品与您订购的不同，或者有其他原因让您对订单不满意，您可以要求全部或部分退货，您将收到相应产品的全额退款。