Formal Methods for Discrete-Time Dynamical Systems by Calin Belta (English) Pape
174,47 €
By Calin Belta, Boyan Yordanov, Ebru Aydin Gol. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book. - Temporal Logics and Automata. - Model Checking.
Jetzt bei Ebay: