中国科学院计算技术研究所形式化验证软件采购项目（第二次）中标公告

正文内容

公告概要： 公告信息： 采购项目名称 ************形式化验证软件采购项目 品目 货物/无形资产/信息数据类无形资产/计算机软件/应用软件 采购单位 ************ 行政区域 *** 公告时间 ****年**月**日 **:** 评审专家名单 杨若黎、王艳春、王文清、刘锋、蔡继勇 总中标金额 ￥***.****** 万元（人民币） 联系人及联系方式： 项目联系人 冯宇图 吴旭 李媛 项目联系电话 ***-********、***-********、***-******** *********** 采购单位 ************ 采购单位地址 ******中关村科学院南路*号 采购单位联系方式 ***-******** 代理机构名称 ************ 代理机构地址 ********街*号互联网金融中心**层 代理机构联系方式 冯宇图 吴旭 李媛 ***-********、***-********、***-******** 一、项目编号：OITC-G*********（招标文件编号：OITC-G*********-*） 二、项目名称：************形式化验证软件采购项目 三、中标（成交）信息 供应商名称：**耀华创芯电子科技有限公司 供应商地址：******善缘街*号*层*-*** 中标（成交）金额：***.*******（万元） 四、主要标的信息 序号 供应商名称 货物名称 货物品牌 货物型号 货物数量 货物单价(元) * **耀华创芯电子科技有限公司 形式化验证软件 / / *套 US$***,***.** 五、评审专家（单一来源采购人员）名单： 杨若黎、王艳春、王文清、刘锋、蔡继勇 六、代理服务收费标准及金额： 本项目代理费收费标准：****号文 本项目代理费总金额：*.****** 万元（人民币） 七、公告期限 自本公告发布之日起*个工作日。 八、其它补充事宜 一、附件：招标文件 二、本项目采用综合评分法，中标供应商的评审总得分**.**分 三、美元汇率：*美元=*.****人民币 九、凡对本次公告内容提出询问，请按以下方式联系。 *.采购人信息 名 称：************　　　　　 地址：******中关村科学院南路*号　　　　　　　　 联系方式：***-********　　　　　　 *.采购代理机构信息 名 称：************　　　　　　　　　　　　 地　址：********街*号互联网金融中心**层　　　　　　　　　　　　 联系方式：冯宇图 吴旭 李媛 ***-********、***-********、***-********　　　　　　　　　　　　 *.项目联系方式 项目联系人：冯宇图 吴旭 李媛 电　话：　　***-********、***-********、***-******** ***********