PROVER

средство доказательства - automatic theorem prover - program correctness prover

Смотреть больше слов в «Англо-русском словаре компьютерных терминов»

PROVIDE →← PROVABLY UNSOLVABLE

Смотреть что такое PROVER в других словарях:

PROVER

I vt1) принимать меры (против кого-л, чего-л) 2) снабжать, обеспечивать 3) приводить в порядок 4) наделять, одарять 5) назначать (на должность) II vi1)... смотреть

PROVER

— pipe prover * * *средство контроля— pipe prover * * *средство контроля- pipe prover* * *• калибровочный прибор • поверочный расходомер • программа ав... смотреть

PROVER

[ʹpru:və] n1. см. prove + -er2. полигр. снимающий пробный оттиск

PROVER

{ʹpru:və} n 1. см. prove + -er 2. полигр. снимающий пробный оттиск

PROVER

prover [ʹpru:və] n 1. см. prove + -er 2. полигр. снимающий пробный оттиск

PROVER

• Geometry student, often • Math student, often • One who convinces

PROVER

средство доказательства - automatic theorem prover - program correctness prover

PROVER

(n) снимающий пробный оттиск

PROVER

доказывающий

PROVER LOOP

• контрольная петля • контрольный контур

PROVER PRESSURE

пруверное давление

PROVER STATION

станция контроля отгружаемой продукции

PROVER TANK

проверочная ёмкость* * *проверочная емкость

T: 36