Wörterbücher
Forum
Kontakte

   Englisch Russisch +
Google | Forvo | +

proof of correctness in terms of loop invariants

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