保罗·博卡（Paul P.Boca）。（编辑）;乔纳森·鲍文（Jonathan P.Bowen）。（编辑）;Siddiqi，Jawed I。（编辑） 形式化方法：最新技术和新方向。献给彼得·兰丁（1930–2009）。 （英语） Zbl 1183.68005号 伦敦：施普林格出版社（ISBN 978-1-84882-735-6/hbk；978-1-848 82-736-3/电子书）。xxv，第273页。(2010). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：比约纳，Dines，领域工程，1-41[Zbl 1194.68100号]迈克尔·杰克逊，程序验证和系统可靠性，43-78[Zbl 1194.68154号]伊贡博格尔，高级系统设计和分析的抽象状态机方法，79-116[Zbl 1189.93006号]马丁·亨森。，应用和方法，117-145[Zbl 1200.68154号]Peter Y.A.Ryan。，电脑吃掉了我的选票，147-184[Zbl 1200.68102号]卡德尔，莫菲；斯蒂芬·吉尔摩（Stephen Gilmore）；简·希尔斯顿；弗拉迪斯拉夫·维舍米尔斯基，生物化学信号通路的形式化方法，185-215[Zbl 1185.92041号]理查德·博纳特，分离逻辑和并发，217-248[Zbl 1200.68066号]彼得·莫塞斯（Peter D.Mosses）。编程语言描述语言。从克里斯托弗·斯特拉奇到语义学在线，249-273[Zbl 1200.68064号] 引用于3文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 60年第68季度 规范和验证（程序逻辑、模型检查等） 68米15 网络和计算机系统的可靠性、测试和容错 00B30型 费斯特施里夫滕 传记参考： 彼得·兰丁 PDF格式BibTeX公司 XML格式引用 \textit{P.P.Boca}（编辑）等，形式方法：最新技术和新方向。献给彼得·兰丁（1930-2009）。伦敦：施普林格出版社（2010；Zbl 1183.68005） 全文： 内政部