PROGRAM CORRECTNESS PROVER


Англо-русский перевод PROGRAM CORRECTNESS PROVER

средства доказательства правильности (работы) программ

Драгальчук Е.. English-Russian dictionary of computer terms.      Англо-Русский словарь компьютерных терминов.