一、项目基本情况
原公告的采购项目编号：0722-207FE2619YPF
原公告的采购项目名称：科学院软件研究所操作系统部分模块形式化验证及CC EAL5+评估认证服务公开招标公告
首次公告日期：2022年11月07日
二、更正信息
更正事项：采购公告
更正内容：
合同履行期限：01包12个月，02包12个月，03包12个月，04包12个月
更正日期：2022年11月09日
三、其他补充事宜
四、凡对本次公告内容提出询问，请按以下方式联系。
1.采购人信息
名 称：科学院软件研究所
地址：北京市
联系方式：李先生18141908693
2.采购代理机构信息
名 称：远东国际招标有限公司
地 址：北京市
联系方式：张华188426714455
3.项目联系方式
项目联系人：张华
电 话： 18842671455
ccgp.g