马可·贝尔纳多（编辑）;埃里克·德文克（编辑）;亚历山德拉·迪·皮耶罗（编辑）;赫伯特，威克利基（编辑） 动力系统的形式化方法。2013年6月17日至22日，意大利贝蒂诺罗，第13所计算机、通信和软件系统正式设计方法国际学校，SFM 2013。高级讲座。 （英文） Zbl 1266.68008号 计算机科学课堂讲稿7938.柏林：施普林格出版社（ISBN 978-3-642-38873-6/pbk）。vii，181页。(2013). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。关于SFM 2011，请参见[兹比尔1216.68021].索引文章：科普夫，鲍里斯；安德烈·里巴尔琴科，定量信息流分析自动化，1-28[Zbl 1380.68173号]戴安娜·埃琳娜（Diana-Elena Grate）；伊恩库，博格丹；Petre，离子，生物系统ODE分析，29-62[Zbl 1383.92033号]布里姆，卢博什；科什卡，米兰；萨夫拉内克，大卫，生物系统的模型检查，63-112[Zbl 1380.92024号]卢卡·博托卢西（Luca Bortolussi）；简·希尔斯顿，通过流体近似检查马尔可夫种群模型中的个体代理行为，113-149[兹比尔1380.68269]贾尼斯·帕科斯（Jiannis K.Pachos）。，拓扑量子计算，150-179[Zbl 1380.81089号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68页30 编码和信息理论（压缩、压缩、通信模型、编码方案等）（计算机科学方面） 60年第68季度 规范和验证（程序逻辑、模型检查等） 81页68 量子计算 92立方厘米 系统生物学、网络 93A30型 系统数学建模（MSC2010） 00B15号机组 杂项特定利益物品的收集 引文：Zbl 1216.68021号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}（ed.）等人，动力系统的形式化方法。2013年6月17日至22日，意大利贝蒂诺罗，第13所计算机、通信和软件系统正式设计方法国际学校，SFM 2013。高级讲座。柏林：施普林格出版社（2013；Zbl 1266.68008） 全文： 内政部