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

LEADER 01507nam a2200397 a 4500
001 57775
003 CZ ZlUTB
005 20240911205915.0
006 m d
007 cr cn
008 101025s2010 gw a s 001 0 eng d
999 |c 57775  |d 57775 
020 |a 9783642145094  |q (online) 
024 7 |a 10.1007/978-3-642-14509-4  |2 doi 
040 |a ZLD002  |b cze 
072 7 |a 517  |x Matematická analýza  |2 Konspekt  |9 23 
080 |a 517.938  |2 MRF 
080 |a (0.034.2:08)  |2 MRF 
100 1 |a Platzer, André  |7 utb2010603740  |4 aut 
245 1 0 |a Logical analysis of hybrid systems  |h [elektronický zdroj] :  |b proving theorems for complex dynamics /  |c André Platzer 
260 |a Berlin ;  |a Heidelberg :  |b Springer,  |c 2010 
300 |a xxx, 426 s. :  |b il. 
500 |a Název z titulní obrazovky 
504 |a Obsahuje bibliografické odkazy a rejstřík 
506 |a 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 
533 |a Elektronická reprodukce 
538 |a Způsob přístupu: World Wide Web 
650 0 7 |a hybridní systémy  |7 ph613264  |2 czenas 
650 0 9 |a hybrid systems  |2 eczenas 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
856 4 0 |u https://proxy.k.utb.cz/login?url=https://doi.org/10.1007/978-3-642-14509-4  |y Plný text 
910 |a ZLD002 
942 |2 udc 
992 |a BK  |b SK  |c SPRINGER 
993 |x NEPOSILAT  |y EIZ 

Similar Items