海外直订Formal Methods for Executable Software Models: 14th International School on Form 可执行软件模型的形式化方法

欢迎加入51折客联盟

今日热搜：艳波 8343 41217 龙女粉搔裙黄茶花

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

503元~~￥553~~预计返￥ 050元券

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

TAG标签：形式化方法InternationalExecutableSoftware

手机淘宝扫码领券购买