Universidad Nacional Autónoma de México
Facultad de Ingeniería
Catálogo de la Biblioteca "Ing. Antonio Dovalí Jaime"

Imagen de cubierta de Amazon
Imagen de Amazon.com

A roadmap for formal property verification / by Pallab Dasgupta

Por: Dasgupta, Pallab [autor]Tipo de material: TextoTextoEditor: Dordrecht : Springer Verlag, c2006Descripción: xiii, 251 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 1402047576 (empastado, cubierta dura)Tema(s): Circuitos integrados -- VerificaciónClasificación CDD: 621.3815 Clasificación LoC:TK7874.58 | D37
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección Clasificación Copia número Estado Fecha de vencimiento Código de barras Reserva de ítems
Libros Libros Libros
Libros
General TK7874.58 D37 (Navegar estantería(Abre debajo)) 1 Disponible 189229
Libros Libros Libros
Libros
General TK7874.58 D37 (Navegar estantería(Abre debajo)) 1 Disponible 189239
Total de reservas: 0

compra 2013/06/06 1098.00

No hay comentarios en este titulo.

para colocar un comentario.


Universidad Nacional Autónoma de México 

Biblioteca "Ing. Antonio Dovalí Jaime” Edificio "A" de la Facultad de Ingeniería

©2024 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad