روشهای صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز افزودن الگوی «علوم رایانه» |
جز حذف رده «علوم رایانه»؛ افزودن سریع رده «علم محاسبات» (با استفاده از ردهساز) |
||
خط ۴۷:
[[رده:علوم رسمی]]
[[رده:مهندسی نرمافزار]]
[[رده:
[[en:Formal methods]]
| |||