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

Refinar su búsqueda

Su búsqueda recuperó 2 resultados.

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

por Huth, Michael, 1962- [autor] | Ryan, Mark, 1962- [autor] | University of Cambridge.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Cambridge : University of Cambridge, 2000Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9L63 H87, ...

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

por Huth, Michael, 1962- [autor] | Ryan, Mark, 1962- [autor].

Edición: 2nd ed.Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Cambridge : Cambridge University Press, 2004Disponibilidad: Ítems disponibles para préstamo: Libros (15)Clasificación: QA76.9L63 H87 2004, ...

Páginas
¿No encuentras lo que estás buscando?

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