رده:روش‌های صوری
 |
در ویکی‌انبار پرونده‌هایی دربارهٔ روش‌های صوری موجود است. |
زیررده‌ها
این رده ۱۳ زیرردۀ زیر را دارد، این رده در کل ۱۳ زیررده دارد.
ا
- اصلاحشناسی روش‌های صوری (۱ ص)
ت
ز
م
- ماشین تورینگ (۱۸ ص)
ن
- نشانه‌گذاری Z (۲ ص)
و
- وارسی مدل (۵ ص)
صفحه‌ها
۲۷ صفحۀ زیر در این رده هستند؛ این رده در کل ۲۷ صفحه دارد.