MPG.eBooks - Search Results - (("dynamical systems") or ("dynamic systems"))

Search alternatives:
"dynamic systems" » "economic systems"
"dynamical systems" » "dynamics systems"

Cover Image

1

Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Published 2014

Springer Berlin Heidelberg

Table of Contents: “... -- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic...”