项目名称: 软件需求形式化及形式化验证工具-结果公告

项目编号: 查看完整信息068

招标公司: 中国商用飞机有限责任公司上海飞机设计研究院

中标公司: 南京理工大学

采购标的物: 软件需求形式化及形式化验证工具

项目地区：上海 上海

免费查看原文

公告

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

(招标编号： 查看完整信息068 )

本 软件需求形式化及形式化验证工具 （招标项目编号： 查看完整信息068 ），确定 001 软件需求形式化及形式化验证工具： 的中标人如下：

一、中标人信息：

001软件需求形式化及形式化验证工具

中标人 中标价格

南京理工大学 282万元(人民币)

二、其他公告内容

/

三、监督部门

本招标项目的监督部门为 / 。

四、联系方式

招标人： 中国商用飞机有限责任公司上海飞机设计研究院

地址： 上海市张江金科路5188号

联系人： 张老师

电话： 查看完整信息

电子邮件： /

招标代理机构： 上海机电设备招标有限公司

地址： 上海市长寿路285号恒达大厦20楼

联系人： 叶子源

电话： 查看完整信息

电子邮件： yzy@shbid.com

招标人或其招标代理机构主要负责人（项目负责人）： _______________ （签名）

招标人或其招标代理机构： _______________ （盖章）

20260430查看完整信息604122

免费查看最新招中标公告