Logical analysis of hybrid systems proving theorems for complex dynamics

Saved in:
Bibliographic Details
Main Author Platzer, André (Author)
Format eBook
LanguageEnglish
Published Berlin ; Heidelberg : Springer, 2010
Subjects
hybridní systémy
hybrid systems
elektronické knihy
electronic books
Online AccessFull text
ISBN9783642145094
DOI10.1007/978-3-642-14509-4
Physical Descriptionxxx, 426 s. : il.

Cover

More Information
Item Description:Název z titulní obrazovky
Format:Způsob přístupu: World Wide Web
Bibliography:Obsahuje bibliografické odkazy a rejstřík
ISBN:9783642145094
Access:Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity
DOI:10.1007/978-3-642-14509-4
Physical Description:xxx, 426 s. : il.

Similar Items