Su búsqueda recuperó 4 resultados.

Resultados
		Formal methods : an appetizer / Flemming Nielson, Hanne Riis Nielson por Nielson, Flemming, 1955- [autor] \| Riis Nielson, Hanne [autor]. Tipo de material: Texto; Forma literaria: No es ficción Editor: Cham, Switzerland : Springer, [2019]Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1). Hacer reserva Agregar al carrito (remover)
		ML with concurrency : design, analysis, implementation and application / Flemming Nielson, ed. por Nielson, Flemming [editor]. Series Monographs in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: New York : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.73M6 M58. Hacer reserva Agregar al carrito (remover)
		Principles of program analysis / Flemming Nielson, Hanne Riis Nielson, Chris Hankin por Nielson, Flemming, 1955- [autor] \| Hankin, Chris [autor] \| Nielson, Hanne Riis, 1954- [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c1999Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA76.6 N52, ... Hacer reserva Agregar al carrito (remover)
		Two-level functional languages / Flemming nielson & hanne riis nielson por Nielson, Flemming [autor] \| Nielson, Hanne Riis, 1954- [autor] \| University of Cambridge. Tipo de material: Texto; Forma literaria: No es ficción Editor: Cambridge : Cambridge University Press, 1992Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.73F85 T86. Hacer reserva Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Hacer una sugerencia de compra

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