中国科学院计算技术研究所形式化验证软件采购项目
2024-11-18 发布 转自中采网
预算金额
330万元
开标时间
2024-12-10 13:30
采购单位
中国科学院计算技术研究所
项目联系人
冯宇图 吴旭 李媛 010-68290550、010-68290510、010-68290524 ytfeng@oitc
联系采购方
010-62600607
联系代理方
东方国际招标有限责任公司 冯宇图 吴旭 李媛 010-68290550、010-68290510、010-68290524