马丁·霍夫曼(编辑) 软件科学和计算结构基础。2011年3月26日至4月3日在德国萨尔布吕肯举行的第14届国际会议FOSSACS 2011,是欧洲软件理论与实践联合会议ETAPS 2011的一部分。诉讼程序。 (英语) Zbl 1213.68041号 计算机科学课堂讲稿6604.柏林:施普林格出版社(ISBN 978-3-642-19804-5/pbk)。xv,第473页。(2011).MSC公司:68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}(编辑),软件科学和计算结构基础。2011年3月26日至4月3日,第14届国际会议FOSSACS 2011,作为欧洲软件理论与实践联合会议ETAPS 2011的一部分,在德国萨尔布吕肯举行。诉讼程序。柏林:施普林格出版社(2011;Zbl 1213.68041) 全文: 内政部
马丁·威尔辛(编辑);马丁·霍夫曼(编辑);阿克塞尔·劳什梅尔(编辑) 值得信赖的全球计算。2010年2月24日至26日在德国慕尼黑举行的2010年TGC第五届国际研讨会。修订了选定的论文。 (英语) Zbl 1198.68071号 计算机科学课堂讲稿6084.柏林:施普林格出版社(ISBN 978-3-642-15639-7/pbk)。xi,第379页。(2010).MSC公司:68-06 64岁以下 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Wirsing}(编辑)等人,值得信赖的全球计算。2010年2月24日至26日在德国慕尼黑举行的第五届TGC国际研讨会。修订了选定的论文。柏林:施普林格出版社(2010;Zbl 1198.68071) 全文: 内政部
马丁·霍夫曼(编辑) 键入lambda计算和应用程序。第六届国际会议,2003年TLCA,2003年6月10日至12日,西班牙巴伦西亚。诉讼程序。 (英语) Zbl 1029.00023号 计算机科学课堂讲稿. 2701. 柏林:斯普林格。viii,317 p.46.00欧元/净;$56.00; £32.00; 《新加坡财务报告》第79.00页(2003年)。MSC公司:00B25型 03-06 68-06 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}(编辑),键入lambda计算和应用程序。第六届国际会议,TLCA 2003,西班牙巴伦西亚,2003年6月10-12日。诉讼程序。柏林:施普林格出版社(2003;Zbl 1029.00023)