0

学习莫德语言时,我该去哪里寻求指导?

我从未使用过 Maude 重写逻辑(特别是 RT-Maude),我正在尝试了解实现它的最佳方法,安装它......等等。我正在寻找教程,以及为初学者提供出色指导的网页。

有什么帮助吗?

4

0 回答 0