赋值符号的英文

• a ignment symbol
• assignment symbol
• colon equal symbol

• "赋值"英文翻译    assignment; evaluation; volu ...
• "符号"英文翻译    character; sign; symbol; mar ...
• "加并赋值符号" 英文翻译 :    plus and become symbol
• "插值符号" 英文翻译 :    plus and become symbol
• "乘值符号" 英文翻译 :    times and becomes symbol
• "对值符号" 英文翻译 :    absolute-valuesign
• "价值符号" 英文翻译 :    symbol of value; symbols of value; token of value
• "绝对值符号" 英文翻译 :    absolute value sign
• "赋值" 英文翻译 :    assignment; evaluation; voluation
• "重赋值, 再赋值" 英文翻译 :    reassignment
• "符号" 英文翻译 :    1.(记号; 标记) character; sign; symbol; mark; code; notation; expression; denotation; sentinel 注音符号 phonetic symbol; 标点符号 punctuation mark; 代数符号 algebraic symbol2.(表明职别、身分等的标志) insignia
• "串赋值" 英文翻译 :    string assignment
• "单赋值" 英文翻译 :    single assignment
• "赋值环" 英文翻译 :    valuation ring
• "赋值论" 英文翻译 :    valuation theory
• "赋值数" 英文翻译 :    designation number; number designation
• "进赋值" 英文翻译 :    adic valuation p
• "伪赋值" 英文翻译 :    pseudovaluation
• "未赋值" 英文翻译 :    na not assigned
• "预赋值" 英文翻译 :    preassignment
• "再赋值" 英文翻译 :    reassignment
• "指派，赋值" 英文翻译 :    assign
• "重赋值" 英文翻译 :    reassignment
• "赋值转移, 赋值分支" 英文翻译 :    assigned branch
• "p进赋值" 英文翻译 :    p adic valuation

• Jiangjun tang ( computer software and theory ) directed by huimin lin a method for selecting test synchronization sequences for concurrent programs is presented
  本文提出一种基于带赋值符号迁移系统stga选取测试同步序列的方法。
• A possible solution to this problem is : adopting symbolic transition graph with assignment ( stga for short ) to model value - passing systems , introducing a predicate mu - calculus to characterize desired properties , and verifying value - passing concurrent processes using an " on - the - fly " algorithm
  解决这个问题的一个方案是：使用带赋值符号迁移图( stga )作为并发传值进程的模型，使用谓词演算作为刻画性质的逻辑，并采用动态实例化的算法对传值并发进程直接进行模型检测。