СловариФорумКупитьСкачатьКонтакты

   Английский Русский +
Google | Forvo | +

proof of correctness in terms of loop invariants

ударения
прогр. доказательство правильности в терминах инвариантов циклов (ssn)