Logical analysis of hybrid systems proving theorems for complex dynamics

Saved in:
Bibliographic Details
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.

Cover

Table of contents

Description
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

Similar Items