libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Il prodotto non è più presente nel nostro catalogo
Barthe Gilles (Curatore); Hermenegildo Manuel (Curatore) - Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

;
Editore: Springer Berlin Heidelberg