曼纽尔·克莱维尔；弗朗西斯科·杜兰；史蒂文·艾克；帕特里克·林肯；马丁·奥列特，纳西索；何塞·梅塞格尔；卡罗琳·塔尔科特 关于Maude——一个高性能逻辑框架。如何在重写逻辑中指定、编程和验证系统。带CD-ROM。 （英语） Zbl 1115.68046号 计算机科学课堂讲稿柏林：施普林格出版社（ISBN 978-3-540-711940-3/pbk）。xxii，797页。(2007). 出版商描述：本书全面介绍了Maude，一种基于重写逻辑的语言和系统。Maude在世界各地的组织中用于并行和分布式系统的教学、研究、正式建模和分析。作者仔细解释了Maude的许多特性，帮助您确定它何时适合在您自己的组织中使用。具体来说，您将了解如何以三种相互增强的方式使用Maude及其正式工具环境：作为声明性编程语言、作为可执行的正式规范语言和作为正式验证系统。书中使用的例子说明了莫德的关键概念、特性和许多实际用途。此外，本书还附带一张CD-ROM，其中包含完整的Maude 2.3软件发行版（包括源代码）、全书的PDF版本，以及书中所有示例的可执行Maude代码。凭借其清晰的指导、众多的示例和实用功能，您将很容易成为莫德的专家。 引用于212文件 MSC公司： 68甲15 编程语言理论 68号30 软件工程的数学方面（规范、验证、度量、需求等） 64岁以下 分布式系统 03B70号 计算机科学中的逻辑 68-02 与计算机科学有关的研究展览会（专著、调查文章） 软件：OBJ咖啡馆；Nuprl公司；爪哇风扇；PMaude公司；莫德；MMT公司；合同专用条款；ITP公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人，《关于Maude的一切——一个高性能逻辑框架》。如何在重写逻辑中指定、编程和验证系统。带CD-ROM。柏林：施普林格（2007；Zbl 1115.68046）