Su búsqueda recuperó 2 resultados.

Resultados
		Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verita, Switzerland, March 2000 : proceedings / Yuri Gurevich ... [y otros.] (eds.) por Gurevich, Yuri [editor]. Series Lecture notes in computer science ; 1912Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin ; New York : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA267 A37. Hacer reserva Agregar al carrito (remover)
		The classical decision problem / Egon Borger, Erich Gradel, Yuri Gurevich por Börger, E. (Egon), 1946- [autor] \| Gradel, Erich [autor] \| Gurevich, Yuri [autor]. Series Perspectives in mathematical logicTipo de material: Texto; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.35 B67. Hacer reserva Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

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