English ⇄ Russian

invariants of locations and the guards of transitions to contain arbitrary rational constants stresses
progr.	инварианты позиций и предохранителей переходов, содержащие произвольные рациональные константы (ssn)

invariants of locations and the guards of transitions to contain arbitrary rational constants: 2 phrases in 1 subject

Programming

2