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...
Enregistré dans:
| Publié dans: | Revista Integración |
|---|---|
| Auteurs principaux: | , |
| Format: | Artigo |
| Langue: | Espanhol |
| Publié: |
Universidad Industrial de Santander
2014
|
| Sujets: | |
| Accès en ligne: | https://www.redalyc.org/articulo.oa?id=327032535007 |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|