Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Italy, June 17-22, 2013. Advanced Lectures

Marco Bernardo (编辑)
还没有评分
2013 · 英语 · 平装书 · 2 个版本
加入书架

评价这本书

导出书籍日志

描述

Chaotic dynamics.- Information theory.- Systems biology.- Hybrid systems.- Quantum computing.- Automata-based models and model checking.

书籍详情

格式 平装书
页数 192 页
语言 英语
已发布 Jun 9, 2013
出版商 Springer
版本 2 个版本
ISBN-10 3642388752
ISBN-13 9783642388750
加入书架

评价这本书

导出书籍日志