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
No hay comentarios en este titulo.