Imagen de Google Jackets
Vista normal Vista MARC

Real-time systems : specification, verification and analysis / edited by Mathai Joseph.

Colaborador(es): Tipo de material: TextoTextoSeries Prentice-Hall international series in computer scienceDetalles de publicación: London ; Mexico City : Prentice Hall, 1996.Descripción: xiv, 278 p. : il. ; 24 cmISBN:
  • 0134552970
Tema(s): Clasificación LoC:
  • QA 76.54 R4298.1996
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
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.