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

*、项目编号：****-**********（招标文件编号：****-**********-*）

*、项目名称：中国科学院计算技术研究所[联系方式]形式化验证软件采购项目

*、中标（成交）信息

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

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

中标（成交）金额：***.*******（万元）

*、主要标的信息

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

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

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

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

本项目代理费总金额：*.****** 万元（人民币）

*、公告期限

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

*、其它补充事宜

*、：招标文件

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

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

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

*.采购人信息

名 称：中国科学院计算技术研究所[联系方式]　　　　　

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

联系方式：***-********　　　　　　

*.采购代理机构信息

名 称：东方国际招标有限责任公司[联系方式]　　　　　　　　　　　　

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

联系方式：冯宇图 吴旭 李媛 ***-********、***-********、***-********　　　　　　　　　　　　

*.项目联系方式

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

电　话：　　***-********、***-********、***-******** ******@****.***.**