booktheque

Formal Methods for Dynamical Systems

Marco Bernardo · 2013

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

About the book

This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.

Book details

Year
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH &
Editions
1
Pages
189
ISBN
9783642388736

Data source: Wikidata

More by Marco Bernardo

Formal Methods for Dynamical Systems
Marco Bernardo · 2013
Formal Methods for Multicore Programming
Marco Bernardo · 2015
Formal Methods for Executable Software Models
Marco Bernardo · 2014
Formal Methods for Model-Driven Engineering
Marco Bernardo · 2012
Formal Methods for Eternal Networked Software Systems
Marco Bernardo · 2011
Probabilistic Trace and Testing Semantics
Marco Bernardo · 2022
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo · 2016
Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures
Marco Bernardo · 2012
Formal Methods for Web Services
Marco Bernardo · 2009
Formal Methods for Computational Systems Biology
Marco Bernardo · 2008