Вхід | Ukrainian | Угода користувача
СловникиФорумКонтакти

   Англійська ⇄ Російська +
Google | Forvo | +

automation of proofs

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

Додати | Повідомити про помилку | Коротке посилання