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

Name: 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
ISBN: 9783642388750

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

加入書架

評價這本書

出口書籍日誌