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
Navegando Libros Estantes, Ubicación: Libros, Código de colección: General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA76.54/B84 An introduction to Real-Time Systems : from design to multitasking with C/C++ / | QA76.54/D38 Specification and proof in real-time csp / | QA76.54/E48 Real-time structured methods : Systems analysis / | QA76.54/F667 Formal methods for real-time computing | QA76.54/G65 A practical guide to real-time systems development / | QA76.54/O77 1989 Temporal logic for real-time systems / | QA76.54/R35 Real-time systems design and analysis : An engineer's handbook / |
Incluye referencias bibliograficas e indices.
No hay comentarios en este titulo.