形式化验证软件采购项目第二次中标公告
发送至邮箱
形式化验证软件采购项目第二次中标公告
| 公告信息： | |||
| 采购项目名称 | (略) 计算技术研究所形式化验证软件采购项目 | ||
| 品目 | 货物/无形资产/信息数据类无形资产/计算机软件/应用软件 | ||
| 采购单位 | (略) 计算技术研究所 | ||
| (略) 域 | (略) | 公告时间 | 2025年01月02日 17:34 |
| 评审专家名单 | 杨若黎、王艳春、王文清、刘锋、蔡继勇 | ||
| 总中标金额 | ￥321.(略) 万元（人民币） | ||
| 联系人及联系方式： | |||
| 项目联系人 | 冯宇图 吴旭 李媛 | ||
| 项目联系电话 | 010-(略)、010-(略)、010-(略) *@*ttp://** | ||
| 采购单位 | (略) 计算技术研究所 | ||
| 采购单位地址 | (略) (略) (略) 南路6号 | ||
| 采购单位联系方式 | 010-(略) | ||
| 代理机构名称 | 东方 (略) | ||
| 代理机构地址 | (略) (略) 丹棱街 (略) 金融中心20层 | ||
| 代理机构联系方式 | 冯宇图 吴旭 李媛 010-(略)、010-(略)、010-(略) | ||
| 附件： | |||
| 附件1 | _OITC-G(略)-1标书.rar | ||
一、项目编号：OITC-G(略)（招标文件编号：OITC-G(略)-1）
二、项目名称： (略) 计算技术研究所形式化验证软件采购项目
三、中标（成交）信息
供应商名称：北京耀华 (略)
供应商地址： (略) (略) 善缘街1号9层3-906
中标（成交）金额：321.(略)（万元）
四、主要标的信息
| 序号 | 供应商名称 | 货物名称 | 货物品牌 | 货物型号 | 货物数量 | 货物单价(元) |
| 1 | 北京耀华 (略) | 形式化验证软件 | / | / | 1套 | US$(略) |
五、评审专家（单一来源采购人员）名单：
杨若黎、王艳春、王文清、刘锋、蔡继勇
六、代理服务收费标准及金额：
本项目代理费收费标准：1980号文
本项目代理费总金额：0.(略) 万元（人民币）
七、公告期限
自本公告发布之日起1个工作日。
八、其它补充事宜
一、附件：招标文件
二、本项目采用综合评分法，中标供应商的评审总得分95.80分
三、美元汇率：1美元=7.3184人民币
九、凡对本次公告内容提出询问，请按以下方式联系。
1.采购人信息
名 称： (略) 计算技术研究所
地址： (略) (略) (略) 南路6号
联系方式：010-(略)
2.采购代理机构信息
名 称：东方 (略)
地 址： (略) (略) 丹棱街 (略) 金融中心20层
联系方式：冯宇图 吴旭 李媛 010-(略)、010-(略)、010-(略)
3.项目联系方式
项目联系人：冯宇图 吴旭 李媛
电 话： 010-(略)、010-(略)、010-(略) *@*ttp://**
| 公告信息： | |||
| 采购项目名称 | (略) 计算技术研究所形式化验证软件采购项目 | ||
| 品目 | 货物/无形资产/信息数据类无形资产/计算机软件/应用软件 | ||
| 采购单位 | (略) 计算技术研究所 | ||
| (略) 域 | (略) | 公告时间 | 2025年01月02日 17:34 |
| 评审专家名单 | 杨若黎、王艳春、王文清、刘锋、蔡继勇 | ||
| 总中标金额 | ￥321.(略) 万元（人民币） | ||
| 联系人及联系方式： | |||
| 项目联系人 | 冯宇图 吴旭 李媛 | ||
| 项目联系电话 | 010-(略)、010-(略)、010-(略) *@*ttp://** | ||
| 采购单位 | (略) 计算技术研究所 | ||
| 采购单位地址 | (略) (略) (略) 南路6号 | ||
| 采购单位联系方式 | 010-(略) | ||
| 代理机构名称 | 东方 (略) | ||
| 代理机构地址 | (略) (略) 丹棱街 (略) 金融中心20层 | ||
| 代理机构联系方式 | 冯宇图 吴旭 李媛 010-(略)、010-(略)、010-(略) | ||
| 附件： | |||
| 附件1 | _OITC-G(略)-1标书.rar | ||
一、项目编号：OITC-G(略)（招标文件编号：OITC-G(略)-1）
二、项目名称： (略) 计算技术研究所形式化验证软件采购项目
三、中标（成交）信息
供应商名称：北京耀华 (略)
供应商地址： (略) (略) 善缘街1号9层3-906
中标（成交）金额：321.(略)（万元）
四、主要标的信息
| 序号 | 供应商名称 | 货物名称 | 货物品牌 | 货物型号 | 货物数量 | 货物单价(元) |
| 1 | 北京耀华 (略) | 形式化验证软件 | / | / | 1套 | US$(略) |
五、评审专家（单一来源采购人员）名单：
杨若黎、王艳春、王文清、刘锋、蔡继勇
六、代理服务收费标准及金额：
本项目代理费收费标准：1980号文
本项目代理费总金额：0.(略) 万元（人民币）
七、公告期限
自本公告发布之日起1个工作日。
八、其它补充事宜
一、附件：招标文件
二、本项目采用综合评分法，中标供应商的评审总得分95.80分
三、美元汇率：1美元=7.3184人民币
九、凡对本次公告内容提出询问，请按以下方式联系。
1.采购人信息
名 称： (略) 计算技术研究所
地址： (略) (略) (略) 南路6号
联系方式：010-(略)
2.采购代理机构信息
名 称：东方 (略)
地 址： (略) (略) 丹棱街 (略) 金融中心20层
联系方式：冯宇图 吴旭 李媛 010-(略)、010-(略)、010-(略)
3.项目联系方式
项目联系人：冯宇图 吴旭 李媛
电 话： 010-(略)、010-(略)、010-(略) *@*ttp://**
|
招标
|
东方国际招标有限责任公司 关注我们可获得更多采购需求 |
已关注 |
招投标大数据
最近搜索
无
热门搜索
无
