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

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

verification condition generation

наголоси
IT генерирование условий верификации (при доказательстве правильности программ)

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