Vista normal
Vista MARC
Real-time systems : specification, verification and analysis / edited by Mathai Joseph.
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 0134552970
- QA 76.54 R4298.1996
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|
Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | QA 76.54 R4298.1996 (Navegar estantería(Abre debajo)) | Disponible | 223412 |
Incluye referencias bibliográficas (p. 259-271) e índice.