Metode formal: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k Bot: Penggantian teks otomatis (-analisa +analisis) |
k r2.7.1) (bot Menambah: ko:정형 기법 |
||
Baris 13:
[[fr:Méthode formelle (informatique)]]
[[ja:形式手法]]
[[ko:정형 기법]]
[[lt:Formalūs metodai]]
[[ms:Kaedah formal]]
| |||