Verifying cyber-physical systems : a path to safe autonomy / Sayan Mitra
Tipo de material: TextoSeries Cyber physical systems seriesEditor: Cambridge, Massachusetts : The MIT Press, [2021]Descripción: xvi, 296 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 9780262044806Tema(s): Objetos cooperantes (Sistemas para computadoras) -- Modelos matemáticosClasificación CDD: 004.01/51135 Clasificación LoC:QA76.5915 | M57Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
Libros | Libros Libros | Coleccion General | QA76.5915 M57 (Navegar estantería(Abre debajo)) | 1 | Disponible | 131915 | ||
Libros | Libros Libros | Coleccion General | QA76.5915 M57 (Navegar estantería(Abre debajo)) | 1 | Disponible | 131941 | ||
Libros | Libros Libros | Coleccion General | QA76.5915 M57 (Navegar estantería(Abre debajo)) | 1 | Disponible | 132139 |
Total de reservas: 0
Navegando Libros Estantes, Ubicación: Libros, Código de colección: Coleccion General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA76.59 U65 Unlicensed mobile access technology : | QA76.5915 A38 Advances in ubiquitous computing : | QA76.5915 I585 The Internet of things : | QA76.5915 M57 Verifying cyber-physical systems | QA76.5915 M57 Verifying cyber-physical systems | QA76.5915 M57 Verifying cyber-physical systems | QA76.5915 U35 2004 Ubiquitous computing systems : |
No hay comentarios en este titulo.