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

一、项目编号：OITC-G2注册后查看**（招标文件编号：OITC-G2注册后查看**-1）

二、项目名称：中国科学院计算技术研究所形式化验证软件采购项目

三、中标（成交）信息

供应商名称：北京耀华创芯电子科技有限公司

供应商地址：北京市海淀区善缘街1号9层3-***

中标（成交）金额：***.8注册后查看0（万元）

四、主要标的信息

序号	???供应商名称??	???货物名称??	???货物品牌??	???货物型号??	???货物数量??	???货物单价(元)??
1	???北京耀华创芯电子科技有限公司??	???形式化验证软件??	???/??	???/??	???1套??	???US$***,***.**??
?	?	?	?	?	?	?

五、评审专家（单一来源采购人员）名单：

杨若黎、王艳春、王文清、刘锋、蔡继勇

六、代理服务收费标准及金额：

本项目代理费收费标准：****号文

本项目代理费总金额：0.0注册后查看0 万元（人民币）

七、公告期限

自本公告发布之日起1个工作日。

八、其它补充事宜

一、附件：招标文件

二、本项目采用综合评分法，中标供应商的评审总得分**.**分

三、美元汇率：1美元=7.****人民币

九、凡对本次公告内容提出询问，请按以下方式联系。

1.采购人信息

名 称：中国科学院计算技术研究所　　　　　

地址：北京市海淀区中关村科学院南路6号　　　　　　　　

联系方式：***-6注册后查看7　　　　　　

2.采购代理机构信息

名 称：东方国际招标有限责任公司　　　　　　　　　　　　

地　址：北京市海淀区丹棱街1号互联网金融中心**层　　　　　　　　　　　　

联系方式：冯宇图 吴旭 李媛 ***-6注册后查看0、***-6注册后查看0、***-6注册后查看4　　　　　　　　　　　　

3.项目联系方式

项目联系人：冯宇图 吴旭 李媛

电　话：　　***-6注册后查看0、***-6注册后查看0、***-6注册后查看4 ytfeng@oitc.com.cn