Che materia stai cercando?

Elementi di Software Dependability - Model checking

Dispensa di Elementi di Software Dependability - Model checking basato sul Tableau. Nello specifico gli argomenti trattati sono i seguenti: Costruzione del Tableau, Le regole di inferenza, Soddisfacibilità, Tableau & μ − calcolo, Esempio - Punti fissi annidati, ecc.

Esame di Elementi di Software Dependability docente Prof. U. Monile

Ulteriori informazioni

PAGINE

20

PESO

181.92 KB

AUTORE

Sara F

PUBBLICATO

+1 anno fa


DETTAGLI
Corso di laurea: Corso di laurea in ingegneria informatica
SSD:
Università: Firenze - Unifi
A.A.: 2013-2014

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher Sara F di informazioni apprese con la frequenza delle lezioni di Elementi di Software Dependability e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Firenze - Unifi o del prof Monile Umberto.

Acquista con carta o conto PayPal

Scarica il file tutte le volte che vuoi

Paga con un conto PayPal per usufruire della garanzia Soddisfatto o rimborsato

Recensioni
Ti è piaciuto questo appunto? Valutalo!

Altri appunti di Elementi di software dependability

appunto U. Monile Elementi di Software Dependability
Appunto
appunto U. Monile Elementi di Software Dependability
Appunto
dispensa U. Monile Elementi di Software Dependability
Dispensa
appunto U. Monile Elementi di Software Dependability
Appunto