Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems | DealShopping Deutschland