Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

Orna Grumberg , Tobias Nipkow , Christian Pfaller
Ancora nessuna valutazione
Mar 15, 2008 · Inglese · Copertina rigida (332 pagine)
Aggiungi alla mensola

Valuta questo libro


Esporta diario dei libri

Recensioni

Nessuna recensione ancora

Sii il primo a recensire questo libro e condividi i tuoi pensieri

Accedi per recensire
Aggiungi alla mensola

Valuta questo libro


Esporta diario dei libri