Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"

Imagen de cubierta de Amazon
Imagen de Amazon.com

Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan

Por: Huth, Michael, 1962- [autor]Colaborador(es): Ryan, Mark, 1962- [autor] | University of CambridgeTipo de material: TextoTextoIdioma: SPA Editor: Cambridge : University of Cambridge, 2000Descripción: 387 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 0521652006 (empastado, cubierta dura); 0-521-65602-8 (rustica)Tema(s): Lógica computacionalClasificación LoC:QA76.9L63 | H87
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
Coleccion General QA76.9L63 H87 (Navegar estantería(Abre debajo)) 1 Disponible 92344
Libros Libros Libros
Libros
Coleccion General QA76.9L63 H87 (Navegar estantería(Abre debajo)) 1 Disponible 95787
Total de reservas: 0

No hay comentarios en este titulo.

para colocar un comentario.

Universidad Nacional Autónoma de México 

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

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

Aviso de Privacidad