形式相关的新闻

2025年11月28日—11月30日，2025CCF中国软件大会在湖北省武汉国际会议中心圆满举办。

IT产业网 2025/12/05 16:29 化验 中国 安科 原生 出席 共话 大会 形式 望安 验证 软件 形式化 科技 安全

2025年7月11日，由中国计算机学会(CCF)主办，中国计算机学会(CCF)形式化方法专业委员会和浙江望安科技有限公司联合承办的“‘智领未来’形式化方法产业应用研讨会——中国计算机学会(CCF)形式化方法专业委员会走进望安科技”活动在浙江望安科技有限公司顺利召开。

IT产业网 2025/07/15 15:40 化方 安科 专委会 顺利 研讨会 方法 委会 走进 形式 召开 形式化方法 望安 研讨 形式化 科技

6月23日，美团宣布，将在此前探索的基础上，全面拓展即时零售业务，包括品牌升级、小象超市拓展、美团优选新业态探索以及海外市场布局。对此，网经社电子商务研究中心发布《电商快评》予以解读。

网经社 2025/06/24 10:51 企业管理 董事长 管理 董事 管理咨询 即时 零售 鲍姆 该是 应该 并列 形式 未来 咨询 企业

近日，链塔智库BlockData发布了《2018区块链医疗数据研究报告》，报告显示，区块链技术在医疗数据方面有四种具体应用的场景，私有链和联盟链有望促进行业发展。

IT产业网 2018/09/11 17:57 《2018区块链医疗数据研究报告》 私链联盟链 形式