Kategori:Analisis atur cara: Perbezaan antara semakan
Kandungan dihapus Kandungan ditambah
k added Category:Pembinaan pengkompil using HotCat |
k added Category:Kaedah formal using HotCat |
||
Baris 3:
[[Kategori:Analisis|Atur cara]]
[[Kategori:Pembinaan pengkompil]]
[[Kategori:Kaedah formal]]
[[en:Category:Program analysis]]
|