Vista normal
Vista MARC
Software engineering . 2 , Specification of systems and languages / D. Bjorner.
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 3540211500 :
- Specification of systems and languages
- 005.1 22
- QA 76.758 B56.2006
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 |
Navegando Biblioteca Francisco Xavier Clavigero estanterías, Ubicación en estantería: Acervo, Colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | |||||
QA 76.758 B37.1990 Case * Method : entity relationship modelling / | QA 76.758 B37.1990 CASE*Method : tasks and deliverables / | QA 76.758 B43.1997 Cleanroom software engineering practices / | QA 76.758 B56.2006 Software engineering . 2 , Specification of systems and languages / | QA 76.758 B57.2006 Software engineering . 1, Abstraction and modelling / | QA 76.758 B75.1995 The Mythical man-month : essays on software engineering / | QA 76.758 B75.1995 The Mythical man-month : essays on software engineering / |
Incluye referencias bibliográficas (p. [751]-777) e índices.