Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software by Marco BernardoFormal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software by Marco Bernardo

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of…

byMarco Bernardo

Paperback | June 7, 2013

Pricing and Purchase Info

$75.95

Earn 380 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of…Format:PaperbackDimensions:181 pagesPublished:June 7, 2013Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642388736

ISBN - 13:9783642388736

Reviews

Table of Contents

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