Wörterbücher
Forum
Kontakte

Google | Forvo | +

proof of correctness in terms of loop invariants

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

Hinzufügen | Fehler melden | Kurzlink auf diese Seite