Una coinstitución para la lógica de comportamiento abstracto
Recientemente, la especificación de un problema en ciencias de la computación un -paso intermedio entre el problema dado y su aplicación como un sistema de software que garantiza su solución- utiliza el álgebra universal y la teoría de coálgebras para su descripción.Esta etapa incluye componentes si...
Gardado en:
| Publicado en: | Revista Integración |
|---|---|
| Principais autores: | , |
| Formato: | Artigo |
| Idioma: | Espanhol |
| Publicado: |
Universidad Industrial de Santander
2014
|
| Assuntos: | |
| Acceso en liña: | https://www.redalyc.org/articulo.oa?id=327032535007 |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|