上海\n \n 软件需求形式化及形式化验证工具-结果公告

公告 软件需求形式化及形式化验证工具-结果公告 (招标编号：0613-266025222068)
本软件需求形式化及形式化验证工具（招标项目编号：0613-266025222068），确定001 软件需求形式化及形式化验证工具：的中标人如下：
一、中标人信息： 001软件需求形式化及形式化验证工具

中标人	中标价格
南京理工大学	282万元(人民币)

二、其他公告内容 /
三、监督部门 本招标项目的监督部门为/。
四、联系方式
招标人：中国商用飞机有限责任公司上海飞机设计研究院
地址：上海市张江金科路5188号
联系人：张老师
电话：021-20865266
电子邮件：/
招标代理机构：上海机电设备招标有限公司
地址：上海市长寿路285号恒达大厦20楼
联系人：叶子源
电话：021-32557517
电子邮件：yzy@shbid.com
招标人或其招标代理机构主要负责人（项目负责人）：_______________（签名）
招标人或其
招标代理机构：_______________（盖章）
202604301736048278256604122