Su búsqueda recuperó 5 resultados.

Resultados
		Constructive methods in computing science / Ed. by manfred broy por Nato Advanced Study Institute On Constructive Methods In Computing Science (1988 : Marktoberdorf, Alemania) \| Broy, M, 1949- [editor]. Series Nato asi series f. computer and systems sciences ; v. 55Tipo de material: Texto; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c1989Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA75.5 N37. Hacer reserva Agregar al carrito (remover)
		Perspectives of systems informatics : Third International Andrei Ershov Memorial Conference, PSI'99 Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings / Dines Bjorner, Manfred Broy, Alexandre V. Zamulin, eds. por International Andrei Ershov Memorial Conference, PSI'99 (3 : 1999 Novosibirsk, Rusia) \| Bjørner, D. (Dines), 1937- [editor] \| Broy, M, 1949- [editor] \| Zamulin, Alexandre V [editor]. Series Lecture notes in computer science ; 1755Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Z699 P48 2000. Hacer reserva Agregar al carrito (remover)
		Program design calculi / ed. by Manfred Broy por Broy, M, 1949- [editor] \| Organización del Tratado del Atlántico Norte. División de Asuntos Científicos \| NATO Advanced Study Institute on Program Design Calculi (1992 : Marktoberdorf, Alemania). Series NATO ASI series. Series F, Computer and systems sciences ; vol. 118Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 1993Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9S88 P77. Hacer reserva Agregar al carrito (remover)
		Programming concepts and methods : Proceedings of the ifip working group 2.2/ 2.3 working conference on programming concepts and methods, sea of galilee, israel, 2-5 april, 1990 / Ed. by m. broy, c. b. Jones por Ifip Working Group 2.2/2.3 Working Conference On Programming Concepts And Methods (1990 : Tiberias, Israel) \| Broy, M, 1949- [editor] \| Jones, C. B. (Cliff B.), 1944- [editor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : North-holland, 1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 I357. Hacer reserva Agregar al carrito (remover)
		Specification and development of interactive systems : focus on streams, interfaces, and refinement / Manfred Broy, Ketil Stolen por Broy, M, 1949- [autor] \| Stolen, Ketil [coaut.]. Series Monographs in computer scienceTipo de material: Texto; Forma literaria: No es ficción Idioma: SPA Editor: New York : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.758 B766, ... 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