Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics by And
122,08 €
Subtitle Proving Theorems for Complex Dynamics. It is the first book that leverages the power of logic for hybrid systems. Logics and Proof Calculi for Hybrid Systems. - Differential Dynamic Logic d?.
Jetzt bei Ebay:
