您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. TLA+ 术语解释及中文翻译

  2. state 状态 A state is an assignment of values to variables. 一个状态就是一组为变量赋值的操作。 state function 状态函数 A state function is an ordinary [removed]one with no ′’′ or □\square□) that can contain variables and constants. 一个状态函数就是一个普通的表达式,包含变量和常量,但不包含 ′’′ 和 □\sq
  3. 所属分类:其它

    • 发布日期:2021-01-07
    • 文件大小:53248
    • 提供者:weixin_38706603