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 |
Incluye referencias bibliográficas (p. [751]-777) e índices.