Vista normal
Vista MARC
Software engineering . 1, Abstraction and modelling / D. Bjørner.
Tipo de material: TextoSeries Texts in theoretical computer science. An EATCS seriesDetalles de publicación: Berlin : Springer-Verlag , 2006Descripción: xxxix, 711 p. : il. ; 24 cmISBN:- 3540211497
- Abstraction and modelling
- 005.1 22
- QA 76.758 B57.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 B57.2006 (Navegar estantería(Abre debajo)) | ej. 1 | Disponible | BFXC043278 |
Incluye referencias bibliográficas e índice.