开启全网商机
登录/注册
复杂逻辑软件形式化验证技术研究
招标详情
下文中****为隐藏内容，仅对千里马会员开放，如需查看完整内容请
「注册/登录」或 拨打咨询热线：
400-688-2000
相关单位：
***********公司企业信息
需求量:1.0套 规格描述:型号/件号:复杂逻辑软件形式化验证技术研究
询价基本信息
询价单名称：
复杂逻辑软件形式化验证技术研究
采购企业：
**民用航空控****公司
询价人姓名：
矫瑞洋
对供应商的要求：
营业执照
报价要求
比价结果有效期：
2026-09-17
合同/报价截止时间： 标书代写
2026-08-18
报价要求：
含税报价
允许变更商品规格报价
允许变更品牌/制造商报价
允许部分报价
允许多个报价方案
报价价格类型：
落地价
币种：
人民币
付款方式：
预付部分货款
交货地址：
**市**市**区紫星路1588号
补充说明：
详见SOW
询价附件：
复杂逻辑软件形式化验证技术研究项目工作任务书(SOW)-V2.0.docx 下载
询价商品或服务详情
| 1 | 复杂逻辑软件形式化验证技术研究 | 咨询服务/技术咨询服务 | 型号/件号:复杂逻辑软件形式化验证技术研究 | 1.0 | 套 | 一次性交货 |
附件（1）
附件_621241023_393212346.docx下载预览
招标进度跟踪
2026-08-11
2026-08-11
招标公告
复杂逻辑软件形式化验证技术研究
当前信息
2026-08-10
招标公告
复杂逻辑软件形式化验证技术研究
2026-08-10
招标公告
复杂逻辑软件形式化验证技术研究
招标项目商机
暂无推荐数据
400-688-2000
欢迎来电咨询～
