SPIN model checking and software verification
- ISBN
- 9783540410300
SPIN model checking and software verification è un spin, verification book di .
Scopri SPIN model checking and software verification di , spin.
Sull'Autore
è l'autore di SPIN model checking and software verification. Esplora il suo catalogo completo su Booklogr.
Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è SPIN model checking and software verification?+
SPIN model checking and software verification è un libro di SPIN, Verification, Computer software.
Chi ha scritto SPIN model checking and software verification?+
SPIN model checking and software verification è stato scritto da .