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

Our rough guess is there are 45,250 words in this book.

At a pace averaging 250 words per minute, this book will take 3 hours and 1 minutes to read. With a half hour per day, this will take 6 days to read.

How long will it take you?

Enter your reading speed

You can take one of our WPM reading speed tests to find your reading speed.

Get it on Amazon Buy on Bookshop.org

We earn a commission on purchases

Author

Marco Bernardo

Contributions

Vink, Erik - Contributor
Pierro, Alessandra - Contributor
Wiklicky, Herbert - Contributor
SpringerLink (Online service) - Contributor

Publication

2013 - Springer Berlin Heidelberg, Berlin, Heidelberg, Germany

Language

English

Word Count

45,250 words, Guess

Page Count

181 pages

Physical Format

Electronic resource

Identifiers

Internet Archiveformalmethodsfor00kpfb
ISBN-139783642388743
ISBN-103642388744
Better World Books9783642388743
Open LibraryOL27039466M

Classifications

DDC005.1
LCCQA76.758

Description

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.

Subjects

Topics

Logic design Bioinformatics Computer science Software engineering Logics and Meanings of Programs Computation by Abstract Devices Computational Biology/Bioinformatics

Series Statement

Lecture Notes in Computer Science -- 7938

Other Editions

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 LecturesElectronic resourceSpringer Berlin Heidelberg2013-01-01

Similar Books

Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

Arto Salomaa, Marian Gheorghe, Claudio Zandron, Grzegorz Rozenberg, Petr Sosík

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!