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

Su búsqueda recuperó 2 resultados.

Ordenar
Resultados
Semantics of specification languages (SoSL) : proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 / D.J. Andrews, J.F. Groote, and C.A. Middelburg, (eds.)

por International Workshop on Semantics of Specification Languages (1993 : Utrecht, Netherlands) | Andrews, Derek [editor] | Groote, Jan Frisco, 1965- [editor] | Middelburg, Cornelis A [editor] | British Computer Society.

Series Workshops in computingTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: London : Springer Verlag, 1994Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.7 I5843.

A theory and practice of program development / Derek Andrews

por Andrews, Derek [autor].

Series Formal approaches to computing and information technologyTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: London : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.76D47 A52, ...

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