✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 418.243 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Formal Methods for Dynamical Systems

Formal Methods for Dynamical Systems

Softcover - 9783642388736
49,22 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

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.

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

Details

Verlag Springer Berlin
Ersterscheinung 07. Juni 2013
Maße 23.5 cm x 15.5 cm
Gewicht 300 Gramm
Format Softcover
ISBN-13 9783642388736
Seiten 181

Schlagwörter

Computational and Systems Biology, Computer Science Logic and Foundations of Programming, DV-gestützte Biologie/Bioinformatik, Software Engineering, Theoretische Informatik, Theory of Computation

Herstellerinformationen +