你好，托尼（编辑）;曼弗雷德·布罗伊（编辑）;拉尔夫·斯坦布吕根（编辑） 软件构建的工程理论。《北约ASI会议记录》，德国马克托伯多夫，2000年7月25日至8月6日。 （英文） Zbl 0972.00060号 北约科学系列三：计算机与系统科学. 180. 阿姆斯特丹：IOS出版社。东京：Ohmsha。ix，357页（2001年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：迈克尔·杰克逊，问题分析和结构，3-20[Zbl 0989.68013号]霍尔，C.A.R。；何继峰，统一逻辑编程理论，21-45[Zbl 1005.68036号]佩顿·琼斯，西蒙《应对笨拙的团队：Haskell中的Monadic输入/输出、并发、异常和外语调用》，47-96[Zbl 0989.68021号]大卫·麦奎因，HOT语言中的适应性比较多态性、模块和对象，97-132[Zbl 0989.68015号]Turski，W？adys？aw M。，行为编程，135-148[Zbl 0989.68090号]曼弗雷德·布罗伊，从状态到历史，将状态和历史观点与系统联系起来，149-186[Zbl 0989.68091号]若阿希姆·帕罗，《（π）-演算：导论》，187-222[Zbl 0995.68066号]克里斯·托夫茨，使用概率过程代数进行性能建模，223-257[Zbl 0989.68102号]阿米尔·普努利；凯斯滕，约尼特，《驯服无限：用有限方法验证无限状态反应系统》，261-299[Zbl 0989.68092号]格雷格·纳尔逊，扩展静态检查，301-308[Zbl 0991.68011号]杰拉德·J·霍尔兹曼。，软件模型检查，309-355[Zbl 0989.68093号] MSC公司： 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 关键词：马克托伯多夫（德国）;诉讼;车间;工程理论;软件建设 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}（ed.）等人，《软件构建工程理论》。《北约ASI会议记录》，德国马克托伯多夫，2000年7月25日至8月6日。阿姆斯特丹：IOS出版社；东京：Ohmsha（2001；Zbl 0972.00060）