FORMAL PROGRAM PROOF


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

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

Big English-Russian dictionary .      Большой Англо-Русский словарь.