Logical analysis of hybrid systems proving theorems for complex dynamics

• Main Author: Platzer, André (Author)
• Format: eBook
• Language: English
• Published: Berlin ; Heidelberg : Springer, 2010
• Subjects: hybridní systémy; hybrid systems; elektronické knihy; electronic books
• ISBN: 9783642145094
• Physical Description: xxx, 426 s. : il.