Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics by And
124,41 €
It is the first book that leverages the power of logic for hybrid systems. Subtitle Proving Theorems for Complex Dynamics. He has an M.Sc. in computer science from the University of Karlsruhe, Germany and a Ph.D. in computer science from the University of Oldenburg, Germany.
Jetzt bei Ebay:
