Beranda
Sembarang
Sekitaran
Masuk log
Pengaturan
Menyumbang
Tentang Wikipedia
Penyangkalan
Cari
Kategori
:
Metode formal
Bahasa
Pantau
Sunting
Artikel utama untuk
kategori
ini adalah
Metode formal
.
Wikimedia Commons memiliki media mengenai
Formal methods
.
Halaman-halaman dalam kategori "Metode formal"
Kategori ini memiliki 3 halaman, dari 3.
M
Mesin Turing
R
RUP
T
Teori himpunan