عنوان
پدید آورنده
موضوع
رده
T 57 .6 .P53
T
57
.
6
.
P53
کتابخانه
محل استقرار
Logical analysis of hybrid systemsproving theorems for complex dynamics
Berlin; Heidelberg
Springer
c2010
xxx, 426 p. : ill.
Includes bibliographical references )p.401-413( and index
Andre Platzer
، System analysis
، Hybrid systems
، Electronic books
T
57
.
6
.
P53
Platzer, Andre
AU
TI
