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...
-д хадгалсан:
| -д хэвлэсэн: | Revista Integración |
|---|---|
| Үндсэн зохиолчид: | , |
| Формат: | Artigo |
| Хэл сонгох: | Espanhol |
| Хэвлэсэн: |
Universidad Industrial de Santander
2014
|
| Нөхцлүүд: | |
| Онлайн хандалт: | https://www.redalyc.org/articulo.oa?id=327032535007 |
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|