Location:
Search - maude
Search list
Description: Esta es una pequeñ a introduccion de Maude, un lenguaje declarativo con gran potencia de calculo.-Esta es una pequeñ a introduccion de Maude, un lenguaje declarativo con gran potencia de calculo.
Platform: |
Size: 47104 |
Author: jecs89 |
Hits:
Description: an in-depth exploration of the capabilities and mathematical foundation of Maude 2.0
Platform: |
Size: 913408 |
Author: pudn.19.lionelw |
Hits:
Description: Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems.
Platform: |
Size: 99328 |
Author: kader125 |
Hits:
Description: Maude也是一种模型检测验证工具，它是一个集成的验证平台。-model checker
Platform: |
Size: 1600512 |
Author: jack |
Hits: