Software Engineering And Formal Methods Sefm 2014 Collocated Workshops Hofm S - Springer Nature B.V
由……售出:
CN¥524.00
有货
+ CN¥103.99 送货
14天退货政策
付款方式：
- 品牌: Unbranded
由……售出:
产品详情
产品详情
Software Engineering And Formal Methods Sefm 2014 Collocated Workshops Hofm S - Springer Nature B.V
This Book Constitutes Revised Selected Papers From The Workshops Collocated With The Sefm 2014 Conference On Software Engineering And Formal Methods, Held In Grenoble, France, In September 2014. The 26 Papers Included In This Volume Were Carefully Reviewed And Selected From 49 Submissions. They Are From The Following Workshops: The 1st Workshop On Human-oriented Formal Methods - From Readability To Automation, Hofm 2014, The 3rd International Symposium On Modelling And Knowledge Management Applications - Systems And Domains, Mokmasd 2014, The 8th International Workshop On Foundations And Techniques For Open Source Software Certification, Open Cert 2014, The 1st Workshop On Safety And Formal Methods, Safome 2014 And The 4th Workshop On Formal Methods In The Development Of Software, Ws-fmds 2014.
- 品牌: Unbranded
- 类别: 计算机与互联网
-
语言: English
-
作者: Springer Nature B.V
-
出版日期: 2015-02-26
-
页数: 436
-
出版社／标签: Springer Nature B.V
-
格式: Paperback
- Fruugo ID: 469773887-983728817
- ISBN: 9783319152004
配送
送货
在 24 小时内发货
-
STANDARD: CN¥103.99 - 之间的交付 周五 25 九月 2026–周四 01 十月 2026
从 英国 送货。
退货
退货
我们会争取将您订购的产品按照您的规格完整地配送给您。不过，万一您收到不完整的订单，或收到的产品与您订购的不同，或者有其他原因让您对订单不满意，您可以要求全部或部分退货，您将收到相应产品的全额退款。