海外直订Logic-Based Program Synthesis and Transformation: 17th International Symposium,基于逻辑的程序综合与转换:第1

欢迎来到惠多啦全网优惠券聚合平台，自购能省钱，推广能赚钱！

关注微信公众号
查券更方便

海外直订Logic-Based Program Synthesis and Transformation: 17th International Symposium, 基于逻辑的程序综合与转换:第1

506元~~￥616~~20元券

活动结束时间：01-20 23:59 累计销量： 0件

TAG标签： TransformationInternationalSynthesisSymposium