亚历山大·拉施克（编辑）;利可宾，埃尔维尼亚（编辑）;克劳斯·迪特·施韦（编辑） 逻辑、计算和严格的方法。在伊贡·博格尔75岁生日之际，为他撰写的论文。 （英语） Zbl 1482.68038号 计算机科学课堂讲稿12750.查姆：施普林格（ISBN 978-3-030-76019-9/pbk；978-3-0030-76020-5/电子书）。十六、353页。（2021）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：雅敏阿伊特阿默尔；雷吉尼·拉劳；多米尼克·梅里；尼拉杰·库马尔·辛格，在基于状态的形式化方法中利用领域知识，1-13[Zbl 07495050号]克劳斯Ambos-Spies，关于有丝分裂集的一些观察，14-28[Zbl 07495051号]理查德·巴纳赫（Richard Banach）；朱慧彪，模式和连续抽象状态机，29-62[Zbl 07495052号]唐·巴托里（Don Batory）；哦，杰霍；鲁本·赫拉迪奥（Ruben Heradio）；大卫·贝纳维德斯，逐步设计中的产品优化，63-81[Zbl 07495053号]克里斯托夫·拜尔勒；Jonas Haldimann；加布里埃尔·克恩·伊斯伯纳，条件信念基的语义分裂，82-95[Zbl 07495054号]乔纳森·鲍文（Jonathan P.Bowen）。，与Egon Börger和ASM相关的社区和祖先，96-120[兹比尔07495055]亚历山德罗·范特奇；格内西、斯特凡尼亚；劳拉·塞米尼，《形式化中的语言和通信问题：自然语言方法》，121-134[Zbl 07495056号]弗拉维奥·费拉罗蒂；塞纳·冈萨雷斯，ASM规范和量子算法的改进，135-146[Zbl 07495057号]Michael Leuschel先生，找出差异：B和Event-B之间的详细比较，147-172[Zbl 07495058号]Makowsky，J.A。，关于计算模型的一些想法：从大规模人类计算到抽象状态机，以及其他，173-186[Zbl 07495059号]伊曼纽尔·科维诺；乔瓦尼·帕尼，基于抽象状态机的移动网络协议分析，187-198[Zbl 07495060号]安德烈亚斯·普林茨算法的自然抽象级别是什么？，199-214 [Zbl 07495061号]保罗·阿卡尼；安德烈·邦巴达；西尔维娅·邦凡蒂；安吉洛·加甘蒂尼；蓖麻烯、埃尔维尼亚；帕特里齐亚·斯坎杜拉《ASMETA软件系统安全保证方法》，215-238[Zbl 07495062号]伯登米勒（Bodenmüller），斯特凡（Stefan）；格哈德·谢尔霍恩（Gerhard Schellhorn）；马丁·比特利希（Martin Bitterlich）；沃尔夫冈·雷夫，Flashix：并发和防撞闪存文件系统的模块化验证，239-265[Zbl 07495063号]克劳斯·迪特尔·舍韦，结构计算。行为理论、逻辑、复杂性，266-282[Zbl 07495064号]Elstermann，Matthes；安德烈·沃尔斯基；弗莱什曼，阿尔伯特；Stary，Christian；斯蒂芬·博格特，web本体语言（OWL）和抽象状态机（ASM）的组合使用，用于定义业务流程的规范语言，283-300[Zbl 07495065号]伯恩哈德·塔勒海姆《计算机科学中的模型和建模》，301-325[Zbl 07495066号]齐默尔曼（Wolf Zimmermann）；曼迪·魏巴赫，用抽象状态机建模同步和异步过程语义的框架，326-352[Zbl 07495067号] MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 00B30型 费斯特施里夫滕 传记参考： 伊贡博格尔 PDF格式BibTeX公司 XML格式引用 \textit{A.Raschke}（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：施普林格（2021；Zbl 1482.68038） 全文： DOI程序