Imagen de Google Jackets
Vista normal Vista MARC

Software engineering . 2 , Specification of systems and languages / D. Bjorner.

Por: Tipo de material: TextoTextoSeries Texts in theoretical computer science. An EATCS seriesDetalles de publicación: Berlin : Springer-Verlag , 2006Descripción: xxiv, 777 p. : il. ; 24 cmISBN:
  • 3540211500 :
Otro título:
  • Specification of systems and languages
Tema(s): Clasificación CDD:
  • 005.1 22
Clasificación LoC:
  • QA 76.758 B56.2006
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección Signatura topográfica Copia número Estado Fecha de vencimiento Código de barras
Libros Biblioteca Francisco Xavier Clavigero Acervo Acervo General QA 76.758 B56.2006 (Navegar estantería(Abre debajo)) ej. 1 Disponible BFXC043277

Incluye referencias bibliográficas (p. [751]-777) e índices.