Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm

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

• Format: Paperback
• Language: English
• ISBN: 3642388736
• ISBN13: 9783642388736
• Release Date: June 2013
• Publisher: Springer
• Length: 181 Pages
• Weight: 0.61 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"