Vista normal
Vista MARC
Abstract state machines : a method for high-level system design and analysis / Egon Börger, Robert Stärk.
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 3540007024 (alk. paper)
- 004.2/1 21
- QA 76.9.S88 B66.2003
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.9.S88 B66.2003 (Navegar estantería(Abre debajo)) | ej. 1 | Disponible | BFXC021428 | ||
Recurso electrónico en disco | Biblioteca Francisco Xavier Clavigero Hemeroteca | Acervo General | QA 76.9.S88 B66.2003 (Navegar estantería(Abre debajo)) | disco óptico, ej. 1 | Disponible | BFXC021400 |
Incluye referencias bibliográfcias (p. [379]-428) e índice.
Solicitar el disco en el mostrador de Colecciones Especiales. Disco óptico.