DictionaryForumContacts

Google | Forvo | +

proof of correctness in terms of loop invariants

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

Add | Report an error | Get short URL | Language Selection Tips