赋值符号的英文

• 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

例句与用法

1. Jiangjun tang ( computer software and theory ) directed by huimin lin a method for selecting test synchronization sequences for concurrent programs is presented
   本文提出一种基于带赋值符号迁移系统stga选取测试同步序列的方法。
2. 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 )作为并发传值进程的模型，使用谓词演算作为刻画性质的逻辑，并采用动态实例化的算法对传值并发进程直接进行模型检测。