Vista normal
Vista MARC
Software engineering . 2 , Specification of systems and languages / D. Bjorner.
Tipo de material: TextoSeries Texts in theoretical computer science. An EATCS seriesDetalles de publicación: Berlin : Springer-Verlag , 2006Descripción: xxiv, 777 p. : il. ; 24 cmISBN:- 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.