Tools and Algorithms for the Construction and Analysis of Systems
1st Edición
14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
€26.52 EUR
-
Herramientas de estudio
Herramientas de estudio incorporadas, como resaltados y más
-
Leer en voz alta
Escucha y sigue la narración mientras Bookshelf lee para ti
-
Acceso sin conexión
Accede a tu libro de texto electrónico en cualquier momento y en cualquier lugar
-
Búsqueda general
Busca entre el contenido del libro, las figuras y tu libro de trabajo
Más de 25 años de transformación digital
-
4500 Instituciones
-
+230 Países y territorios
-
+10 000 Editores
-
+18 M Usuarios activos