Logic-based Program Synthesis And Transformation 26th International Symposium - Springer Nature B.V

CN¥524.00
+ CN¥110.49 送货

Logic-based Program Synthesis And Transformation 26th International Symposium - Springer Nature B.V

由……售出:
  • product image

CN¥524.00

有货
+ CN¥110.49 送货

14天退货政策

付款方式：

  • 品牌: Unbranded

描述

Logic-based Program Synthesis And Transformation 26th International Symposium - Springer Nature B.V

This Book Constitutes The Thoroughly Refereed Post-conference Proceedings Of The 26th International Symposium On Logic-based Program Synthesis And Transformation, Lopstr 2016, Held In Edinburgh, Uk, In September 2016. The 20 Revised Full Papers Presented Together With The Abstracts Of 3 Invited Talks Were Carefully Reviewed And Selected From 38 Submissions. The Aim Of The Lopstr Series Is To Stimulate And Promote International Research And Collaboration On Logic-based Program Development.
  • 品牌: Unbranded
  • 类别: 计算机与互联网
  • 语言: English
  • 作者: Springer Nature B.V
  • 页数: 380
  • 出版社／标签: Springer Nature B.V
  • 格式: Paperback
  • Fruugo ID: 469768154-983723102
  • ISBN: 9783319631387

送货

在 24 小时内发货

  • STANDARD: CN¥110.49 - 之间的交付 周五 07 八月 2026–周四 13 八月 2026

从 英国 送货。

退货

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

查看完整的退货政策