注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. A Framed Temporal Logic Programming Language

  2. 一个框架时序逻辑程序设计语言，段振华，Maciej Koutny，基于原始的投影操作符(prj)，本文讨论了投影时序逻辑（PTL）。本文也提出了一个框架技术，使用该技术本文定义了一个同步操作符（awai

  3. 所属分类：其它

    • 发布日期：2020-02-01
    • 文件大小：552960
    • 提供者：weixin_38659646