Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Lenore D. Zuck , Paul C. Attie , Agostino Cortesi
Ancora nessuna valutazione
2002 · Inglese · Brossura
Aggiungi allo scaffale

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 allo scaffale

Valuta questo libro


Esporta diario dei libri