1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究基于PI演算的无线自动售货机物流配送研究 .pdf

论文研究基于PI演算的无线自动售货机物流配送研究 .pdf

上传者: 2020-04-03 10:30:58上传 PDF文件 349.59KB 热度 26次
基于PI-演算的无线自动售货机物流配送研究,王丽超,顾宏,形式化方法是商务过程设计与分析时达成共识和检验正确性的重要途径。Pi-演算具有面向交互、可描述结构动态变化及分布并发的表达优
下载地址
用户评论