روشهای صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ربات اصلاح: es:Método formal; ویرایش جزئی |
جز ربات افزودن: id:Metoda formal |
||
خط ۵۳:
[[es:Método formal]]
[[fr:Méthode formelle (informatique)]]
[[id:Metoda formal]]
[[ja:形式手法]]
[[lt:Formalūs metodai]]
|