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: TextoDetalles de publicación: Berlin ; New York : Springer, 2003.Descripción: x, 438 p. : il. ; 24 cm. + 1 disco óptico láser de computadora (4 3/4 in.)ISBN:- 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.