Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
eBook
€15.60 EUR
-
Strumenti di studio
Strumenti di studio integrati, come evidenziazioni e altro
-
Leggi ad alta voce
Ascolta e segui mentre Bookshelf legge il testo per te
-
Accesso offline
Accedi al tuo eTextbook sempre e ovunque
-
Ricerca globale
Cerca all'interno del contenuto del libro, delle figure e della tua cartella di lavoro