Categoria:Metodi formali
Wikimedia Commons contiene una categoria sull'argomento Metodi formali
Sottocategorie
Questa categoria contiene le 2 sottocategorie indicate di seguito, su un totale di 2.
M
- Macchina di Turing (8 P)
S
- Soddisfacibilità booleana (6 P)
Pagine nella categoria "Metodi formali"
Questa categoria contiene le 22 pagine indicate di seguito, su un totale di 22.