PROGRAM CORRECTNESS PROVER


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

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

English-Russian dictionary of computers .      Англо-Русский словарь по компьютерам.