Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

· · ·
· Springer
Ebook
181
Pages

About this ebook

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.

Rate this ebook

Tell us what you think.

Reading information

Smartphones and tablets
Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.
Laptops and computers
You can listen to audiobooks purchased on Google Play using your computer's web browser.
eReaders and other devices
To read on e-ink devices like Kobo eReaders, you'll need to download a file and transfer it to your device. Follow the detailed Help Center instructions to transfer the files to supported eReaders.

More by Marco Bernardo

Transactions on Computational Systems Biology XIV: Special Issue on Computational Models for Cell Processes
Corrado Priami
Computers & technology
$19.25$16.75
Transactions on Computational Systems Biology XIII
Corrado Priami
Computers & technology
$19.25$16.75
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Klaus Havelund
Computers & technology
$31.15$27.10

Similar ebooks

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
Alessandro Aldini
Computers & technology
$19.25$16.75
The Demon-Haunted World: Science as a Candle in the Dark
Carl Sagan
Science & math
4.8
$9.99
Fermat's Enigma: The Epic Quest to Solve the World's Greatest Mathematical Problem
Simon Singh
Science & math
4.3
$7.99$5.99
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures
Marco Bernardo
Computers & technology
4.0
$19.25$16.75