北京海淀[HDLY-FW-GKJT-23-0644]基于形式化方法的模型检测软件开发终止公告
查看隐藏内容（*）需先登录
基于形式化方法的模型检测软件开发终止公告基于形式化方法的模型检测软件开发（采购编号：NEDA-**-FW-GKJT-******）项目，至递交应答文件截止时间，无供应商递交应答文件，本项目无法正常进行谈判活动，现对本项目进行终止。
*;
*;
*;采购单位： 中国核动力研究设计院地址： 四川省成都市双流区长顺大道***号联系人： 蒋老师电话：***-********电子邮件：/采购代理机构： 北京****** 地址： 北京市海淀区中关村南大街**号神舟大厦*层联系人： 罗杰/李杰/张泽林 电话： ***-********/***-********电子邮件：******
*;
