Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
学习莫德语言时,我该去哪里寻求指导?
我从未使用过 Maude 重写逻辑(特别是 RT-Maude),我正在尝试了解实现它的最佳方法,安装它......等等。我正在寻找教程,以及为初学者提供出色指导的网页。
有什么帮助吗?