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

まだ評価がありません
2013 · 英語 · ペーパーバック · 2 版
棚に追加

この本を評価する


ブックジャーナルをエクスポート

説明

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

本の詳細

形式 ペーパーバック
ページ数 192ページ
言語 英語
公開されました Jun 9, 2013
出版社 Springer
ISBN-10 3642388752
ISBN-13 9783642388750
棚に追加

この本を評価する


ブックジャーナルをエクスポート