Verification, model checking, and abstract interpretation
by VMCAI 2004 (Conference) (2004 Venice, Italy)
- ISBN
- 3540208038
Verification, model checking, and abstract interpretation è un verification, computer programs book di VMCAI 2004 (Conference) (2004 Venice, Italy).
Scopri Verification, model checking, and abstract interpretation di VMCAI 2004 (Conference) (2004 Venice, Italy), verification.
Sull'Autore
è l'autore di Verification, model checking, and abstract interpretation. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di VMCAI 2004 (Conference) (2004 Venice, Italy) →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 è Verification, model checking, and abstract interpretation?+
Verification, model checking, and abstract interpretation è un libro di Verification, Computer programs.
Chi ha scritto Verification, model checking, and abstract interpretation?+
Verification, model checking, and abstract interpretation è stato scritto da VMCAI 2004 (Conference) (2004 Venice, Italy).