Categoria:Metodi formali

Da Wikipedia, l'enciclopedia libera.

Vai alla navigazione Vai alla ricerca

Wikimedia Commons contiene una categoria sull'argomento Metodi formali

Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica

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.

Estratto da "https://it.wikipedia.org/w/index.php?title=Categoria:Metodi_formali&oldid=96430703"