中国科学院计算技术研究所形式化验证软件采购项目终止公告

正文内容

公告概要：公告信息：采购项目名称************形式化验证软件采购项目品目 货物/无形资产/信息数据类无形资产/计算机软件/应用软件 采购单位************行政区域***公告时间****年**月**日 **:**联系人及联系方式：项目联系人冯宇图 吴旭 李媛项目联系电话***-********、***-********、***-******** ***********采购单位************采购单位地址******中关村科学院南路*号采购单位联系方式***-********代理机构名称************代理机构地址********街*号互联网金融中心**层代理机构联系方式冯宇图 吴旭 李媛 ***-********、***-********、***-******** 一、项目基本情况 采购项目编号：OITC-G********* 采购项目名称：************形式化验证软件采购项目 二、项目终止的原因 本项目有效投标人不足*家，本项目予以废标 三、其他补充事宜 无 四、凡对本次公告内容提出询问，请按以下方式联系。 *.采购人信息 名 称：************　　　　　 地址：******中关村科学院南路*号　　　　　　　　 联系方式：***-********　　　　　　 *.采购代理机构信息 名 称：************　　　　　　　　　　　　 地　址：********街*号互联网金融中心**层　　　　　　　　　　　　 联系方式：冯宇图 吴旭 李媛 ***-********、***-********、***-********　　　　　　　　　　　　 *.项目联系方式 项目联系人：冯宇图 吴旭 李媛 电　话：　　***-********、***-********、***-******** ***********