Specification and proof in real-time csp / Jim Davies
Tipo de material: TextoSeries Distinguished dissertations in computer scienceEditor: Cambridge : University of Cambridge, 1993Descripción: xvii, 180 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 0521450551Tema(s): Procesamiento de datos en tiempo realClasificación LoC:QA76.54 | D38Otra 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/D38 (Navegar estantería(Abre debajo)) | 1 | Disponible | 7829 |
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.5/W483 1995 How computers work | QA76.527/C65 The Emergence of net-centric computing : network computers, Internet appliances, and connected PCs / | 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 / |
No hay comentarios en este titulo.