Formal methods for real-time computing / ed. by Constance Heitmeyer and Dino Mandrioli
Tipo de material: TextoIdioma: ENG Series Trends in software ; 5Editor: New York : J. Wiley, 1996Descripción: 271 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 0471958352 (papel alcalino)Tema(s): Procesamiento de datos en tiempo realClasificación CDD: 005.2 Clasificación LoC:QA76.54 | F667Otra clasificación: GeneralTipo 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 | General | QA76.54/F667 (Navegar estantería(Abre debajo)) | 1 | Disponible | 14372 |
Total de reservas: 0
Incluye referencias bibliograficas e indices.
No hay comentarios en este titulo.