Revista: | Soluciones avanzadas |
Base de datos: | PERIÓDICA |
Número de sistema: | 000151657 |
ISSN: | 0188-8048 |
Autores: | Ruíz Barradas, Héctor1 |
Instituciones: | 1Universidad Autónoma Metropolitana, Azcapotzalco, Distrito Federal. México |
Año: | 1997 |
Periodo: | Abr |
Volumen: | 5 |
Número: | 44 |
Paginación: | 27-42 |
País: | México |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplinas: | Ciencias de la computación, Ingeniería, Ciencia y tecnología |
Palabras clave: | Ingeniería electrónica, Tecnología, Programación de sistemas, Lenguaje funcional, Formalismo Unity, Formalismo Gamma, Sistemas operativos |
Keyword: | Computer science, Engineering, Science and technology, Electronic engineering, Technology, System programming, Functional languages, Unity formalism, Gamma formalism, Operating systems |
Solicitud del documento | |