رده:روشهای صوری
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)
در ویکیانبار پروندههایی دربارهٔ روشهای صوری موجود است.
زیرردهها
این رده ۱۳ زیرردۀ زیر را دارد، این رده در کل ۱۳ زیررده دارد.
ا
- اصلاحشناسی روشهای صوری (۱ ص)
ت
ز
م
- ماشین تورینگ (۱۸ ص)
ن
- نشانهگذاری Z (۲ ص)
و
- وارسی مدل (۵ ص)
صفحهها
۲۷ صفحۀ زیر در این رده هستند؛ این رده در کل ۲۷ صفحه دارد.