Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

B. Berard , M. Bidoit , A. Finkel
Ancora nessuna valutazione
2010 · Inglese · Brossura · 2 edizioni
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