虫虫开发者 虫虫开发者 电子工程与源码社区
热门搜索： STM32 开关电源 FPGA 51单片机 电路图 Altium Modbus 热搜词库 »
上传资料
已收录 672,738 份工程资料 今日 +84
源码工程 文章/文档 人工审核无毒

一种从Z 规约到并行程序的精化方法

所属分类 文章/文档
文件大小 88 K
文件格式 RAR 文件
累计下载 166 次
分享作者
发布日期

资料详细技术说明

一种从Z 规约到并行程序的精化方法

压缩包内文件清单（共 1 个文件）

已自动扫描归档包内目录结构与文件清单 源码与文本文档支持点击「在线阅读」，二进制/媒体文件请下载压缩包后使用
1 FILE
一种从z 规约到并行程序的精化方法.pdf 164.1 KB
包内组件

相关文章/文档资料推荐

下载与解压说明

下载积分规则

  • 本资源下载仅需 2 积分
  • 24 小时内重复下载免扣积分
  • VIP 会员享专属免积分高速通道

文件解压指南

  • 推荐使用 7-Zip 或新版 WinRAR 解压
  • 原理图与 PCB 请使用对应 EDA 软件打开
  • 压缩包内源码可直接在上方在线预览

免费获取积分