Categoria:Metodi formali

Da Wikipedia, l'enciclopedia libera.

Jump to navigation Jump to search

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 17 pagine indicate di seguito, su un totale di 17.

A

B

Bisimulazione

D

F

Funzione 91 di McCarthy

I

Invariante (informatica)

L

Lambda calcolo

O

Omega automa

P

R

Rational Unified Process

S

V

Verifica formale

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