首页

高级搜索  "数据类型"

  • 「米尔纳」米尔纳穿过几号

    「米尔纳」米尔纳穿过几号

    际标准语言Lotos,而Lotos则已用于面向对象的ROOA方法中,用来描述面向对象需求定义中的抽象数据类型和进程定义。CCS本身虽然只有交叠式语义,但利用一些特殊的方法,如多层佩特里网方法,也可以建

    日期 2022-06-23  阅 6  米尔纳
1