Lompat ke isi
Menu utama
Menu utama
pindah ke bilah sisi
sembunyikan
Navigasi
Halaman Utama
Daftar isi
Perubahan terbaru
Artikel pilihan
Peristiwa terkini
Halaman baru
Halaman sembarang
Komunitas
Warung Kopi
Portal komunitas
Bantuan
Wikipedia
Tentang Wikipedia
Pancapilar
Kebijakan
Hubungi kami
Bak pasir
Bagikan
Pencarian
Cari
Tampilan
Menyumbang
Buat akun baru
Masuk log
Perkakas pribadi
Menyumbang
Buat akun baru
Masuk log
Halaman penyunting yang telah keluar log
pelajari lebih lanjut
Kontribusi
Pembicaraan
Kategori
:
Metode formal
27 bahasa
العربية
Башҡортса
Беларуская
Беларуская (тарашкевіца)
Bosanski
Чӑвашла
Ελληνικά
English
Esperanto
Español
Euskara
فارسی
Français
Հայերեն
Italiano
日本語
한국어
Lietuvių
Norsk nynorsk
Português
Română
Русский
Slovenščina
Türkçe
Українська
Tiếng Việt
中文
Sunting pranala
Kategori
Pembicaraan
Bahasa Indonesia
Baca
Sunting
Sunting sumber
Lihat riwayat
Perkakas
Perkakas
pindah ke bilah sisi
sembunyikan
Tindakan
Baca
Sunting
Sunting sumber
Lihat riwayat
Umum
Pranala balik
Perubahan terkait
Halaman istimewa
Pranala permanen
Informasi halaman
Lihat URL pendek
Unduh kode QR
Cetak/ekspor
Buat buku
Unduh versi PDF
Versi cetak
Dalam proyek lain
Wikimedia Commons
Butir di Wikidata
Tampilan
pindah ke bilah sisi
sembunyikan
Bantuan
Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
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
Kategori
:
Permodelan data
Rekayasa perangkat lunak
Proses pengembangan perangkat lunak
Kategori tersembunyi:
Pranala kategori Commons ada di Wikidata