Formal Modeling and Verification of Cyber-Physical Systems
1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
€15.60 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