Su búsqueda recuperó 2 resultados.

Resultados
		The foundations of program verification / Jacques loeckx and Kurt sieber ; in collaboration with ryan d. stan por Loeckx, Jacques J. C, 1931- [autor] \| Sieber, Kurt [autor] \| Stansifer, Ryan D [autor]. Series Wiley-teubner series in computer scienceEdición: 2Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Stuttgart (alemania occidental) : B. G. Teubner, 1987Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 L57 1987. Hacer reserva Agregar al carrito (remover)
		The study of programming languages / Ryan Stansifer por Stansifer, Ryan D [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Englewood Cliffs, N.J. : Prentice Hall, c1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.7 S73 1995. 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"