海外直订Computer Aided Verification: 20th International Conference, Cav 2008 Princeton, 计算机辅助验证:第20届国际

券后价￥1093原售价：￥1193

— 大家都在抢 —

展开更多

访客须知：本站为导购型网站，展示的所有商品信息均来自淘宝网，所有交易均在淘宝官方进行，消费者请放心选购。若本站商品图片、标题等发生侵权问题，请联系淘宝网处理，本站概不负责相关问题。