инварианты позиций и предохранителей переходов

Terms containing инварианты позиций и предохранителей переходов | all forms | exact matches only | in specified order only

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