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
Dec 15, 2010 · Inglese · Brossura (202 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