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...
Na minha lista:
| Publicado no: | Revista Integración |
|---|---|
| Principais autores: | , |
| Formato: | Artigo |
| Idioma: | Espanhol |
| Publicado em: |
Universidad Industrial de Santander
2014
|
| Assuntos: | |
| Acesso em linha: | https://www.redalyc.org/articulo.oa?id=327032535007 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|